Matches in SemOpenAlex for { <https://semopenalex.org/work/W1878021248> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W1878021248 abstract "The prenex fragments of first-order infinite-valued Goedel logics are classified. It is shown that the prenex Goedel logics characterized by finite and by uncountable subsets of [0, 1] are axiomatizable, and that the prenex fragments of all countably infinite Goedel logics are not axiomatizable." @default.
- W1878021248 created "2016-06-24" @default.
- W1878021248 creator A5035315045 @default.
- W1878021248 creator A5036161813 @default.
- W1878021248 creator A5086862307 @default.
- W1878021248 date "2004-06-22" @default.
- W1878021248 modified "2023-09-26" @default.
- W1878021248 title "Characterization of the axiomatizable prenex fragments of first-order Godel logics" @default.
- W1878021248 cites W1515335557 @default.
- W1878021248 cites W1535673504 @default.
- W1878021248 cites W1539382740 @default.
- W1878021248 cites W1546296649 @default.
- W1878021248 cites W1970249071 @default.
- W1878021248 cites W1972429097 @default.
- W1878021248 cites W2060794945 @default.
- W1878021248 cites W2082736027 @default.
- W1878021248 cites W2085722670 @default.
- W1878021248 cites W2096482476 @default.
- W1878021248 cites W2148682918 @default.
- W1878021248 cites W2156693798 @default.
- W1878021248 cites W2952815021 @default.
- W1878021248 cites W3152800724 @default.
- W1878021248 doi "https://doi.org/10.1109/ismvl.2003.1201403" @default.
- W1878021248 hasPublicationYear "2004" @default.
- W1878021248 type Work @default.
- W1878021248 sameAs 1878021248 @default.
- W1878021248 citedByCount "7" @default.
- W1878021248 countsByYear W18780212482012 @default.
- W1878021248 countsByYear W18780212482022 @default.
- W1878021248 crossrefType "proceedings-article" @default.
- W1878021248 hasAuthorship W1878021248A5035315045 @default.
- W1878021248 hasAuthorship W1878021248A5036161813 @default.
- W1878021248 hasAuthorship W1878021248A5086862307 @default.
- W1878021248 hasBestOaLocation W18780212482 @default.
- W1878021248 hasConcept C10138342 @default.
- W1878021248 hasConcept C110729354 @default.
- W1878021248 hasConcept C142399903 @default.
- W1878021248 hasConcept C154945302 @default.
- W1878021248 hasConcept C162324750 @default.
- W1878021248 hasConcept C182306322 @default.
- W1878021248 hasConcept C202444582 @default.
- W1878021248 hasConcept C2781302003 @default.
- W1878021248 hasConcept C33923547 @default.
- W1878021248 hasConcept C41008148 @default.
- W1878021248 hasConceptScore W1878021248C10138342 @default.
- W1878021248 hasConceptScore W1878021248C110729354 @default.
- W1878021248 hasConceptScore W1878021248C142399903 @default.
- W1878021248 hasConceptScore W1878021248C154945302 @default.
- W1878021248 hasConceptScore W1878021248C162324750 @default.
- W1878021248 hasConceptScore W1878021248C182306322 @default.
- W1878021248 hasConceptScore W1878021248C202444582 @default.
- W1878021248 hasConceptScore W1878021248C2781302003 @default.
- W1878021248 hasConceptScore W1878021248C33923547 @default.
- W1878021248 hasConceptScore W1878021248C41008148 @default.
- W1878021248 hasLocation W18780212481 @default.
- W1878021248 hasLocation W18780212482 @default.
- W1878021248 hasLocation W18780212483 @default.
- W1878021248 hasOpenAccess W1878021248 @default.
- W1878021248 hasPrimaryLocation W18780212481 @default.
- W1878021248 hasRelatedWork W1611875164 @default.
- W1878021248 hasRelatedWork W1843829875 @default.
- W1878021248 hasRelatedWork W1883540685 @default.
- W1878021248 hasRelatedWork W1953716163 @default.
- W1878021248 hasRelatedWork W1970249071 @default.
- W1878021248 hasRelatedWork W1972429097 @default.
- W1878021248 hasRelatedWork W2070563746 @default.
- W1878021248 hasRelatedWork W2076945216 @default.
- W1878021248 hasRelatedWork W2082736027 @default.
- W1878021248 hasRelatedWork W2096482476 @default.
- W1878021248 hasRelatedWork W2096504793 @default.
- W1878021248 hasRelatedWork W2110182592 @default.
- W1878021248 hasRelatedWork W2129932388 @default.
- W1878021248 hasRelatedWork W2145524968 @default.
- W1878021248 hasRelatedWork W2277396649 @default.
- W1878021248 hasRelatedWork W2294992103 @default.
- W1878021248 hasRelatedWork W2810651917 @default.
- W1878021248 hasRelatedWork W3190310779 @default.
- W1878021248 hasRelatedWork W88232665 @default.
- W1878021248 hasRelatedWork W1498569475 @default.
- W1878021248 isParatext "false" @default.
- W1878021248 isRetracted "false" @default.
- W1878021248 magId "1878021248" @default.
- W1878021248 workType "article" @default.