Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949305102> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2949305102 abstract "This paper generalizes the 1977 paper of V.B. Shehtman, which constructed the first Kripke incomplete intermediate logic, by presenting a continuum of such logics. This version fixes an error in my simplified proof of incompleteness of Shehtman's original logic." @default.
- W2949305102 created "2019-06-27" @default.
- W2949305102 creator A5058807832 @default.
- W2949305102 date "2018-08-20" @default.
- W2949305102 modified "2023-09-27" @default.
- W2949305102 title "A continuum of incomplete intermediate logics" @default.
- W2949305102 cites W2001751731 @default.
- W2949305102 cites W2054046573 @default.
- W2949305102 cites W2087317225 @default.
- W2949305102 cites W2106716518 @default.
- W2949305102 cites W2970205057 @default.
- W2949305102 hasPublicationYear "2018" @default.
- W2949305102 type Work @default.
- W2949305102 sameAs 2949305102 @default.
- W2949305102 citedByCount "0" @default.
- W2949305102 crossrefType "posted-content" @default.
- W2949305102 hasAuthorship W2949305102A5058807832 @default.
- W2949305102 hasConcept C102993220 @default.
- W2949305102 hasConcept C118615104 @default.
- W2949305102 hasConcept C160131679 @default.
- W2949305102 hasConcept C199343813 @default.
- W2949305102 hasConcept C202444582 @default.
- W2949305102 hasConcept C2777686260 @default.
- W2949305102 hasConcept C33203268 @default.
- W2949305102 hasConcept C33923547 @default.
- W2949305102 hasConcept C41008148 @default.
- W2949305102 hasConcept C71924100 @default.
- W2949305102 hasConcept C80444323 @default.
- W2949305102 hasConceptScore W2949305102C102993220 @default.
- W2949305102 hasConceptScore W2949305102C118615104 @default.
- W2949305102 hasConceptScore W2949305102C160131679 @default.
- W2949305102 hasConceptScore W2949305102C199343813 @default.
- W2949305102 hasConceptScore W2949305102C202444582 @default.
- W2949305102 hasConceptScore W2949305102C2777686260 @default.
- W2949305102 hasConceptScore W2949305102C33203268 @default.
- W2949305102 hasConceptScore W2949305102C33923547 @default.
- W2949305102 hasConceptScore W2949305102C41008148 @default.
- W2949305102 hasConceptScore W2949305102C71924100 @default.
- W2949305102 hasConceptScore W2949305102C80444323 @default.
- W2949305102 hasLocation W29493051021 @default.
- W2949305102 hasOpenAccess W2949305102 @default.
- W2949305102 hasPrimaryLocation W29493051021 @default.
- W2949305102 hasRelatedWork W1548013999 @default.
- W2949305102 hasRelatedWork W1567053717 @default.
- W2949305102 hasRelatedWork W1583848363 @default.
- W2949305102 hasRelatedWork W1667825161 @default.
- W2949305102 hasRelatedWork W1760954332 @default.
- W2949305102 hasRelatedWork W1977030765 @default.
- W2949305102 hasRelatedWork W1984852785 @default.
- W2949305102 hasRelatedWork W2010376212 @default.
- W2949305102 hasRelatedWork W2010968193 @default.
- W2949305102 hasRelatedWork W2065608775 @default.
- W2949305102 hasRelatedWork W2071950040 @default.
- W2949305102 hasRelatedWork W2153604707 @default.
- W2949305102 hasRelatedWork W2593401383 @default.
- W2949305102 hasRelatedWork W2749826451 @default.
- W2949305102 hasRelatedWork W3032338208 @default.
- W2949305102 hasRelatedWork W3049549325 @default.
- W2949305102 hasRelatedWork W3096465156 @default.
- W2949305102 hasRelatedWork W3104000793 @default.
- W2949305102 hasRelatedWork W83593792 @default.
- W2949305102 hasRelatedWork W2464217860 @default.
- W2949305102 isParatext "false" @default.
- W2949305102 isRetracted "false" @default.
- W2949305102 magId "2949305102" @default.
- W2949305102 workType "article" @default.