Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023397961> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2023397961 abstract "I shall refer to the implicational fragment of intuitionist logic, and its extension with the further axiom CCCCpqqrCCCpqrr as IIC and OIC, respectively. The purpose of this paper is to apply a result due to Garrett Birkhoff to the extensions of IIC, and to the extensions of OIC in particular. The main result obtained is that every extension of OIC is characterised by finite models." @default.
- W2023397961 created "2016-06-24" @default.
- W2023397961 creator A5078723697 @default.
- W2023397961 date "1964-03-01" @default.
- W2023397961 modified "2023-09-25" @default.
- W2023397961 title "Some results for implicational calculi" @default.
- W2023397961 cites W1976353083 @default.
- W2023397961 cites W1987243149 @default.
- W2023397961 cites W1990620456 @default.
- W2023397961 doi "https://doi.org/10.2307/2269766" @default.
- W2023397961 hasPublicationYear "1964" @default.
- W2023397961 type Work @default.
- W2023397961 sameAs 2023397961 @default.
- W2023397961 citedByCount "10" @default.
- W2023397961 countsByYear W20233979612013 @default.
- W2023397961 countsByYear W20233979612014 @default.
- W2023397961 countsByYear W20233979612021 @default.
- W2023397961 countsByYear W20233979612023 @default.
- W2023397961 crossrefType "journal-article" @default.
- W2023397961 hasAuthorship W2023397961A5078723697 @default.
- W2023397961 hasConcept C118615104 @default.
- W2023397961 hasConcept C136119220 @default.
- W2023397961 hasConcept C14036430 @default.
- W2023397961 hasConcept C177264268 @default.
- W2023397961 hasConcept C17744445 @default.
- W2023397961 hasConcept C185529760 @default.
- W2023397961 hasConcept C18903297 @default.
- W2023397961 hasConcept C199360897 @default.
- W2023397961 hasConcept C199539241 @default.
- W2023397961 hasConcept C200288055 @default.
- W2023397961 hasConcept C202444582 @default.
- W2023397961 hasConcept C2524010 @default.
- W2023397961 hasConcept C25343380 @default.
- W2023397961 hasConcept C2777759810 @default.
- W2023397961 hasConcept C2778029271 @default.
- W2023397961 hasConcept C33923547 @default.
- W2023397961 hasConcept C41008148 @default.
- W2023397961 hasConcept C46757340 @default.
- W2023397961 hasConcept C65180967 @default.
- W2023397961 hasConcept C77088390 @default.
- W2023397961 hasConcept C78458016 @default.
- W2023397961 hasConcept C86803240 @default.
- W2023397961 hasConcept C90673727 @default.
- W2023397961 hasConceptScore W2023397961C118615104 @default.
- W2023397961 hasConceptScore W2023397961C136119220 @default.
- W2023397961 hasConceptScore W2023397961C14036430 @default.
- W2023397961 hasConceptScore W2023397961C177264268 @default.
- W2023397961 hasConceptScore W2023397961C17744445 @default.
- W2023397961 hasConceptScore W2023397961C185529760 @default.
- W2023397961 hasConceptScore W2023397961C18903297 @default.
- W2023397961 hasConceptScore W2023397961C199360897 @default.
- W2023397961 hasConceptScore W2023397961C199539241 @default.
- W2023397961 hasConceptScore W2023397961C200288055 @default.
- W2023397961 hasConceptScore W2023397961C202444582 @default.
- W2023397961 hasConceptScore W2023397961C2524010 @default.
- W2023397961 hasConceptScore W2023397961C25343380 @default.
- W2023397961 hasConceptScore W2023397961C2777759810 @default.
- W2023397961 hasConceptScore W2023397961C2778029271 @default.
- W2023397961 hasConceptScore W2023397961C33923547 @default.
- W2023397961 hasConceptScore W2023397961C41008148 @default.
- W2023397961 hasConceptScore W2023397961C46757340 @default.
- W2023397961 hasConceptScore W2023397961C65180967 @default.
- W2023397961 hasConceptScore W2023397961C77088390 @default.
- W2023397961 hasConceptScore W2023397961C78458016 @default.
- W2023397961 hasConceptScore W2023397961C86803240 @default.
- W2023397961 hasConceptScore W2023397961C90673727 @default.
- W2023397961 hasLocation W20233979611 @default.
- W2023397961 hasOpenAccess W2023397961 @default.
- W2023397961 hasPrimaryLocation W20233979611 @default.
- W2023397961 hasRelatedWork W1608098058 @default.
- W2023397961 hasRelatedWork W181692858 @default.
- W2023397961 hasRelatedWork W1829103345 @default.
- W2023397961 hasRelatedWork W1977122514 @default.
- W2023397961 hasRelatedWork W1988754305 @default.
- W2023397961 hasRelatedWork W2000174133 @default.
- W2023397961 hasRelatedWork W2031925592 @default.
- W2023397961 hasRelatedWork W2042140127 @default.
- W2023397961 hasRelatedWork W2065721357 @default.
- W2023397961 hasRelatedWork W2067775876 @default.
- W2023397961 hasRelatedWork W2073115506 @default.
- W2023397961 hasRelatedWork W2086662978 @default.
- W2023397961 hasRelatedWork W2096482476 @default.
- W2023397961 hasRelatedWork W2109600761 @default.
- W2023397961 hasRelatedWork W2263967233 @default.
- W2023397961 hasRelatedWork W2279167342 @default.
- W2023397961 hasRelatedWork W2312251200 @default.
- W2023397961 hasRelatedWork W2795947535 @default.
- W2023397961 hasRelatedWork W2963277410 @default.
- W2023397961 hasRelatedWork W3199132729 @default.
- W2023397961 isParatext "false" @default.
- W2023397961 isRetracted "false" @default.
- W2023397961 magId "2023397961" @default.
- W2023397961 workType "article" @default.