Matches in SemOpenAlex for { <https://semopenalex.org/work/W2091330336> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2091330336 endingPage "437" @default.
- W2091330336 startingPage "431" @default.
- W2091330336 abstract "The intuitionistic propositional logic I has the following disjunction property This property does not characterize intuitionistic logic. For example Kreisel and Putnam [5] showed that the extension of I with the axiom has the disjunction property. Another known system with this propery is due to Scott [5], and is obtained by adding to I the following axiom: In the present paper we shall prove, using methods originally introduced by Segerberg [10], that the Kreisel-Putnam logic is decidable. In fact we shall show that it has the finite model property, and since it is finitely axiomatizable, it is decidable by [4]. The decidability of Scott's system was proved by J. G. Anderson in his thesis in 1966." @default.
- W2091330336 created "2016-06-24" @default.
- W2091330336 creator A5060284292 @default.
- W2091330336 date "1970-09-01" @default.
- W2091330336 modified "2023-09-24" @default.
- W2091330336 title "The decidability of the Kreisel-Putnam system " @default.
- W2091330336 cites W1990620456 @default.
- W2091330336 cites W1992056012 @default.
- W2091330336 doi "https://doi.org/10.2307/2270700" @default.
- W2091330336 hasPublicationYear "1970" @default.
- W2091330336 type Work @default.
- W2091330336 sameAs 2091330336 @default.
- W2091330336 citedByCount "28" @default.
- W2091330336 countsByYear W20913303362012 @default.
- W2091330336 countsByYear W20913303362013 @default.
- W2091330336 countsByYear W20913303362015 @default.
- W2091330336 countsByYear W20913303362016 @default.
- W2091330336 countsByYear W20913303362018 @default.
- W2091330336 crossrefType "journal-article" @default.
- W2091330336 hasAuthorship W2091330336A5060284292 @default.
- W2091330336 hasConcept C111472728 @default.
- W2091330336 hasConcept C118615104 @default.
- W2091330336 hasConcept C136119220 @default.
- W2091330336 hasConcept C138885662 @default.
- W2091330336 hasConcept C153269930 @default.
- W2091330336 hasConcept C167729594 @default.
- W2091330336 hasConcept C168773769 @default.
- W2091330336 hasConcept C189950617 @default.
- W2091330336 hasConcept C199343813 @default.
- W2091330336 hasConcept C199360897 @default.
- W2091330336 hasConcept C202444582 @default.
- W2091330336 hasConcept C2524010 @default.
- W2091330336 hasConcept C2777686260 @default.
- W2091330336 hasConcept C2778029271 @default.
- W2091330336 hasConcept C33923547 @default.
- W2091330336 hasConcept C41008148 @default.
- W2091330336 hasConcept C69562738 @default.
- W2091330336 hasConcept C71924100 @default.
- W2091330336 hasConceptScore W2091330336C111472728 @default.
- W2091330336 hasConceptScore W2091330336C118615104 @default.
- W2091330336 hasConceptScore W2091330336C136119220 @default.
- W2091330336 hasConceptScore W2091330336C138885662 @default.
- W2091330336 hasConceptScore W2091330336C153269930 @default.
- W2091330336 hasConceptScore W2091330336C167729594 @default.
- W2091330336 hasConceptScore W2091330336C168773769 @default.
- W2091330336 hasConceptScore W2091330336C189950617 @default.
- W2091330336 hasConceptScore W2091330336C199343813 @default.
- W2091330336 hasConceptScore W2091330336C199360897 @default.
- W2091330336 hasConceptScore W2091330336C202444582 @default.
- W2091330336 hasConceptScore W2091330336C2524010 @default.
- W2091330336 hasConceptScore W2091330336C2777686260 @default.
- W2091330336 hasConceptScore W2091330336C2778029271 @default.
- W2091330336 hasConceptScore W2091330336C33923547 @default.
- W2091330336 hasConceptScore W2091330336C41008148 @default.
- W2091330336 hasConceptScore W2091330336C69562738 @default.
- W2091330336 hasConceptScore W2091330336C71924100 @default.
- W2091330336 hasIssue "03" @default.
- W2091330336 hasLocation W20913303361 @default.
- W2091330336 hasOpenAccess W2091330336 @default.
- W2091330336 hasPrimaryLocation W20913303361 @default.
- W2091330336 hasRelatedWork W1724963320 @default.
- W2091330336 hasRelatedWork W1977107423 @default.
- W2091330336 hasRelatedWork W2005661612 @default.
- W2091330336 hasRelatedWork W2091330336 @default.
- W2091330336 hasRelatedWork W2099222814 @default.
- W2091330336 hasRelatedWork W2114803784 @default.
- W2091330336 hasRelatedWork W2140541040 @default.
- W2091330336 hasRelatedWork W2147357772 @default.
- W2091330336 hasRelatedWork W4310746866 @default.
- W2091330336 hasRelatedWork W3149883711 @default.
- W2091330336 hasVolume "35" @default.
- W2091330336 isParatext "false" @default.
- W2091330336 isRetracted "false" @default.
- W2091330336 magId "2091330336" @default.
- W2091330336 workType "article" @default.