Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567053717> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W1567053717 endingPage "141" @default.
- W1567053717 startingPage "131" @default.
- W1567053717 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.
- W1567053717 created "2016-06-24" @default.
- W1567053717 creator A5058807832 @default.
- W1567053717 date "2002-01-01" @default.
- W1567053717 modified "2023-09-26" @default.
- W1567053717 title "A continuum of incomplete intermediate logics." @default.
- W1567053717 hasPublicationYear "2002" @default.
- W1567053717 type Work @default.
- W1567053717 sameAs 1567053717 @default.
- W1567053717 citedByCount "1" @default.
- W1567053717 countsByYear W15670537172016 @default.
- W1567053717 crossrefType "journal-article" @default.
- W1567053717 hasAuthorship W1567053717A5058807832 @default.
- W1567053717 hasConcept C102993220 @default.
- W1567053717 hasConcept C118615104 @default.
- W1567053717 hasConcept C136119220 @default.
- W1567053717 hasConcept C160131679 @default.
- W1567053717 hasConcept C199343813 @default.
- W1567053717 hasConcept C202444582 @default.
- W1567053717 hasConcept C2777686260 @default.
- W1567053717 hasConcept C33203268 @default.
- W1567053717 hasConcept C33923547 @default.
- W1567053717 hasConcept C41008148 @default.
- W1567053717 hasConcept C71924100 @default.
- W1567053717 hasConcept C80444323 @default.
- W1567053717 hasConceptScore W1567053717C102993220 @default.
- W1567053717 hasConceptScore W1567053717C118615104 @default.
- W1567053717 hasConceptScore W1567053717C136119220 @default.
- W1567053717 hasConceptScore W1567053717C160131679 @default.
- W1567053717 hasConceptScore W1567053717C199343813 @default.
- W1567053717 hasConceptScore W1567053717C202444582 @default.
- W1567053717 hasConceptScore W1567053717C2777686260 @default.
- W1567053717 hasConceptScore W1567053717C33203268 @default.
- W1567053717 hasConceptScore W1567053717C33923547 @default.
- W1567053717 hasConceptScore W1567053717C41008148 @default.
- W1567053717 hasConceptScore W1567053717C71924100 @default.
- W1567053717 hasConceptScore W1567053717C80444323 @default.
- W1567053717 hasLocation W15670537171 @default.
- W1567053717 hasOpenAccess W1567053717 @default.
- W1567053717 hasPrimaryLocation W15670537171 @default.
- W1567053717 hasRelatedWork W1548013999 @default.
- W1567053717 hasRelatedWork W1583848363 @default.
- W1567053717 hasRelatedWork W1667825161 @default.
- W1567053717 hasRelatedWork W1760954332 @default.
- W1567053717 hasRelatedWork W1977030765 @default.
- W1567053717 hasRelatedWork W1984852785 @default.
- W1567053717 hasRelatedWork W2010376212 @default.
- W1567053717 hasRelatedWork W2010968193 @default.
- W1567053717 hasRelatedWork W2065608775 @default.
- W1567053717 hasRelatedWork W2071950040 @default.
- W1567053717 hasRelatedWork W2153604707 @default.
- W1567053717 hasRelatedWork W2463689481 @default.
- W1567053717 hasRelatedWork W2593401383 @default.
- W1567053717 hasRelatedWork W2749826451 @default.
- W1567053717 hasRelatedWork W2949305102 @default.
- W1567053717 hasRelatedWork W3032338208 @default.
- W1567053717 hasRelatedWork W3049549325 @default.
- W1567053717 hasRelatedWork W3096465156 @default.
- W1567053717 hasRelatedWork W3104000793 @default.
- W1567053717 hasRelatedWork W2464217860 @default.
- W1567053717 hasVolume "36" @default.
- W1567053717 isParatext "false" @default.
- W1567053717 isRetracted "false" @default.
- W1567053717 magId "1567053717" @default.
- W1567053717 workType "article" @default.