Matches in SemOpenAlex for { <https://semopenalex.org/work/W4387020084> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W4387020084 endingPage "181" @default.
- W4387020084 startingPage "163" @default.
- W4387020084 abstract "We show that intuitionistic propositional logic is Carnap categorical: the only interpretation of the connectives consistent with the intuitionistic consequence relation is the standard interpretation. This holds with respect to the most well-known semantics relative to which intuitionistic logic is sound and complete; among them Kripke semantics, Beth semantics, Dragalin semantics, topological semantics, and algebraic semantics. These facts turn out to be consequences of an observation about interpretations in Heyting algebras." @default.
- W4387020084 created "2023-09-26" @default.
- W4387020084 creator A5000646081 @default.
- W4387020084 creator A5005439609 @default.
- W4387020084 date "2023-09-22" @default.
- W4387020084 modified "2023-10-17" @default.
- W4387020084 title "Carnap’s Problem for Intuitionistic Propositional Logic" @default.
- W4387020084 cites W1437405962 @default.
- W4387020084 cites W1989314289 @default.
- W4387020084 cites W2027229388 @default.
- W4387020084 cites W2057022920 @default.
- W4387020084 cites W2085342194 @default.
- W4387020084 cites W2119251111 @default.
- W4387020084 cites W2566963820 @default.
- W4387020084 cites W2892215877 @default.
- W4387020084 cites W3134668597 @default.
- W4387020084 cites W3169821079 @default.
- W4387020084 cites W4205517878 @default.
- W4387020084 cites W4231562412 @default.
- W4387020084 cites W4232602917 @default.
- W4387020084 cites W4248743978 @default.
- W4387020084 cites W4328125640 @default.
- W4387020084 cites W565951512 @default.
- W4387020084 cites W957426456 @default.
- W4387020084 cites W98985150 @default.
- W4387020084 doi "https://doi.org/10.3390/logics1040009" @default.
- W4387020084 hasPublicationYear "2023" @default.
- W4387020084 type Work @default.
- W4387020084 citedByCount "0" @default.
- W4387020084 crossrefType "journal-article" @default.
- W4387020084 hasAuthorship W4387020084A5000646081 @default.
- W4387020084 hasAuthorship W4387020084A5005439609 @default.
- W4387020084 hasBestOaLocation W43870200841 @default.
- W4387020084 hasConcept C102993220 @default.
- W4387020084 hasConcept C105795698 @default.
- W4387020084 hasConcept C118615104 @default.
- W4387020084 hasConcept C136119220 @default.
- W4387020084 hasConcept C14523651 @default.
- W4387020084 hasConcept C154945302 @default.
- W4387020084 hasConcept C160131679 @default.
- W4387020084 hasConcept C178421362 @default.
- W4387020084 hasConcept C184337299 @default.
- W4387020084 hasConcept C187062830 @default.
- W4387020084 hasConcept C191222856 @default.
- W4387020084 hasConcept C199343813 @default.
- W4387020084 hasConcept C199360897 @default.
- W4387020084 hasConcept C202444582 @default.
- W4387020084 hasConcept C2777686260 @default.
- W4387020084 hasConcept C2779729104 @default.
- W4387020084 hasConcept C33203268 @default.
- W4387020084 hasConcept C33923547 @default.
- W4387020084 hasConcept C41008148 @default.
- W4387020084 hasConcept C5274069 @default.
- W4387020084 hasConcept C527412718 @default.
- W4387020084 hasConcept C69562738 @default.
- W4387020084 hasConcept C71924100 @default.
- W4387020084 hasConceptScore W4387020084C102993220 @default.
- W4387020084 hasConceptScore W4387020084C105795698 @default.
- W4387020084 hasConceptScore W4387020084C118615104 @default.
- W4387020084 hasConceptScore W4387020084C136119220 @default.
- W4387020084 hasConceptScore W4387020084C14523651 @default.
- W4387020084 hasConceptScore W4387020084C154945302 @default.
- W4387020084 hasConceptScore W4387020084C160131679 @default.
- W4387020084 hasConceptScore W4387020084C178421362 @default.
- W4387020084 hasConceptScore W4387020084C184337299 @default.
- W4387020084 hasConceptScore W4387020084C187062830 @default.
- W4387020084 hasConceptScore W4387020084C191222856 @default.
- W4387020084 hasConceptScore W4387020084C199343813 @default.
- W4387020084 hasConceptScore W4387020084C199360897 @default.
- W4387020084 hasConceptScore W4387020084C202444582 @default.
- W4387020084 hasConceptScore W4387020084C2777686260 @default.
- W4387020084 hasConceptScore W4387020084C2779729104 @default.
- W4387020084 hasConceptScore W4387020084C33203268 @default.
- W4387020084 hasConceptScore W4387020084C33923547 @default.
- W4387020084 hasConceptScore W4387020084C41008148 @default.
- W4387020084 hasConceptScore W4387020084C5274069 @default.
- W4387020084 hasConceptScore W4387020084C527412718 @default.
- W4387020084 hasConceptScore W4387020084C69562738 @default.
- W4387020084 hasConceptScore W4387020084C71924100 @default.
- W4387020084 hasIssue "4" @default.
- W4387020084 hasLocation W43870200841 @default.
- W4387020084 hasOpenAccess W4387020084 @default.
- W4387020084 hasPrimaryLocation W43870200841 @default.
- W4387020084 hasRelatedWork W1951369434 @default.
- W4387020084 hasRelatedWork W1986625420 @default.
- W4387020084 hasRelatedWork W2156897951 @default.
- W4387020084 hasRelatedWork W2163197731 @default.
- W4387020084 hasRelatedWork W2295284441 @default.
- W4387020084 hasRelatedWork W2403418519 @default.
- W4387020084 hasRelatedWork W2952893544 @default.
- W4387020084 hasRelatedWork W3145584637 @default.
- W4387020084 hasRelatedWork W4293502065 @default.
- W4387020084 hasRelatedWork W4387020084 @default.
- W4387020084 hasVolume "1" @default.
- W4387020084 isParatext "false" @default.
- W4387020084 isRetracted "false" @default.
- W4387020084 workType "article" @default.