Matches in SemOpenAlex for { <https://semopenalex.org/work/W3076193140> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W3076193140 endingPage "348" @default.
- W3076193140 startingPage "339" @default.
- W3076193140 abstract "Intuitionistic Propositional Logic is proved to be an infinitely many valued logic by Kurt Godel (1932), and it is proved by Stanis{l}aw Ja'skowski (1936) to be a countably many valued logic. In this paper, we provide alternative proofs for these theorems by using models of Saul Kripke (1959). Godel's proof gave rise to an intermediate propositional logic (between intuitionistic and classical), that is known nowadays as Godel or the Godel-Dummet Logic, and is studied by fuzzy logicians as well. We also provide some results on the inter-definablility of propositional connectives in this logic." @default.
- W3076193140 created "2020-08-24" @default.
- W3076193140 creator A5028651659 @default.
- W3076193140 date "2021-01-01" @default.
- W3076193140 modified "2023-09-23" @default.
- W3076193140 title "From Intuitionism to Many-Valued Logics Through Kripke Models" @default.
- W3076193140 cites W1967753097 @default.
- W3076193140 cites W2096482476 @default.
- W3076193140 cites W2155581733 @default.
- W3076193140 cites W2482057698 @default.
- W3076193140 cites W4237852760 @default.
- W3076193140 doi "https://doi.org/10.1007/978-3-030-53654-1_11" @default.
- W3076193140 hasPublicationYear "2021" @default.
- W3076193140 type Work @default.
- W3076193140 sameAs 3076193140 @default.
- W3076193140 citedByCount "0" @default.
- W3076193140 crossrefType "book-chapter" @default.
- W3076193140 hasAuthorship W3076193140A5028651659 @default.
- W3076193140 hasBestOaLocation W30761931402 @default.
- W3076193140 hasConcept C102993220 @default.
- W3076193140 hasConcept C108710211 @default.
- W3076193140 hasConcept C110039528 @default.
- W3076193140 hasConcept C111472728 @default.
- W3076193140 hasConcept C118615104 @default.
- W3076193140 hasConcept C138885662 @default.
- W3076193140 hasConcept C14523651 @default.
- W3076193140 hasConcept C150889026 @default.
- W3076193140 hasConcept C153107464 @default.
- W3076193140 hasConcept C154945302 @default.
- W3076193140 hasConcept C178421362 @default.
- W3076193140 hasConcept C191222856 @default.
- W3076193140 hasConcept C199343813 @default.
- W3076193140 hasConcept C203659156 @default.
- W3076193140 hasConcept C2524010 @default.
- W3076193140 hasConcept C2777686260 @default.
- W3076193140 hasConcept C33203268 @default.
- W3076193140 hasConcept C33923547 @default.
- W3076193140 hasConcept C41008148 @default.
- W3076193140 hasConcept C69562738 @default.
- W3076193140 hasConcept C71924100 @default.
- W3076193140 hasConceptScore W3076193140C102993220 @default.
- W3076193140 hasConceptScore W3076193140C108710211 @default.
- W3076193140 hasConceptScore W3076193140C110039528 @default.
- W3076193140 hasConceptScore W3076193140C111472728 @default.
- W3076193140 hasConceptScore W3076193140C118615104 @default.
- W3076193140 hasConceptScore W3076193140C138885662 @default.
- W3076193140 hasConceptScore W3076193140C14523651 @default.
- W3076193140 hasConceptScore W3076193140C150889026 @default.
- W3076193140 hasConceptScore W3076193140C153107464 @default.
- W3076193140 hasConceptScore W3076193140C154945302 @default.
- W3076193140 hasConceptScore W3076193140C178421362 @default.
- W3076193140 hasConceptScore W3076193140C191222856 @default.
- W3076193140 hasConceptScore W3076193140C199343813 @default.
- W3076193140 hasConceptScore W3076193140C203659156 @default.
- W3076193140 hasConceptScore W3076193140C2524010 @default.
- W3076193140 hasConceptScore W3076193140C2777686260 @default.
- W3076193140 hasConceptScore W3076193140C33203268 @default.
- W3076193140 hasConceptScore W3076193140C33923547 @default.
- W3076193140 hasConceptScore W3076193140C41008148 @default.
- W3076193140 hasConceptScore W3076193140C69562738 @default.
- W3076193140 hasConceptScore W3076193140C71924100 @default.
- W3076193140 hasLocation W30761931401 @default.
- W3076193140 hasLocation W30761931402 @default.
- W3076193140 hasLocation W30761931403 @default.
- W3076193140 hasLocation W30761931404 @default.
- W3076193140 hasOpenAccess W3076193140 @default.
- W3076193140 hasPrimaryLocation W30761931401 @default.
- W3076193140 hasRelatedWork W1573206013 @default.
- W3076193140 hasRelatedWork W1951369434 @default.
- W3076193140 hasRelatedWork W1986625420 @default.
- W3076193140 hasRelatedWork W2020323165 @default.
- W3076193140 hasRelatedWork W2078736672 @default.
- W3076193140 hasRelatedWork W2081976468 @default.
- W3076193140 hasRelatedWork W2154555144 @default.
- W3076193140 hasRelatedWork W2952893544 @default.
- W3076193140 hasRelatedWork W3076193140 @default.
- W3076193140 hasRelatedWork W3100510665 @default.
- W3076193140 isParatext "false" @default.
- W3076193140 isRetracted "false" @default.
- W3076193140 magId "3076193140" @default.
- W3076193140 workType "book-chapter" @default.