Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892215877> ?p ?o ?g. }
- W2892215877 endingPage "469" @default.
- W2892215877 startingPage "403" @default.
- W2892215877 abstract "Brouwer’s views on the foundations of mathematics have inspired the study of intuitionistic logic, including the study of the intuitionistic propositional calculus and its extensions. The theory of these systems has become an independent branch of logic with connections to lattice theory, topology, modal logic, and other areas. This paper aims to present a modern account of semantics for intuitionistic propositional systems. The guiding idea is that of a hierarchy of semantics, organized by increasing generality: from the least general Kripke semantics on through Beth semantics, topological semantics, Dragalin semantics, and finally to the most general algebraic semantics. While the Kripke, topological, and algebraic semantics have been extensively studied, the Beth and Dragalin semantics have received less attention. We bring Beth and Dragalin semantics to the fore, relating them to the concept of a nucleus from pointfree topology, which provides a unifying perspective on the semantic hierarchy." @default.
- W2892215877 created "2018-09-27" @default.
- W2892215877 creator A5031772210 @default.
- W2892215877 creator A5088813725 @default.
- W2892215877 date "2019-05-01" @default.
- W2892215877 modified "2023-10-03" @default.
- W2892215877 title "A semantic hierarchy for intuitionistic logic" @default.
- W2892215877 cites W1529894088 @default.
- W2892215877 cites W1539123436 @default.
- W2892215877 cites W185353483 @default.
- W2892215877 cites W1971314708 @default.
- W2892215877 cites W1972649844 @default.
- W2892215877 cites W1972938060 @default.
- W2892215877 cites W1976353083 @default.
- W2892215877 cites W1981311833 @default.
- W2892215877 cites W1981403427 @default.
- W2892215877 cites W1987269014 @default.
- W2892215877 cites W1988837336 @default.
- W2892215877 cites W1989423435 @default.
- W2892215877 cites W1999492300 @default.
- W2892215877 cites W2007096790 @default.
- W2892215877 cites W2007802474 @default.
- W2892215877 cites W2009762006 @default.
- W2892215877 cites W2010884894 @default.
- W2892215877 cites W2013880244 @default.
- W2892215877 cites W2018202519 @default.
- W2892215877 cites W2023132547 @default.
- W2892215877 cites W2029823670 @default.
- W2892215877 cites W2036307828 @default.
- W2892215877 cites W2043566933 @default.
- W2892215877 cites W2050527500 @default.
- W2892215877 cites W2055112651 @default.
- W2892215877 cites W2056531162 @default.
- W2892215877 cites W2062867651 @default.
- W2892215877 cites W2063044380 @default.
- W2892215877 cites W2064257235 @default.
- W2892215877 cites W2064315245 @default.
- W2892215877 cites W2075277371 @default.
- W2892215877 cites W2080823411 @default.
- W2892215877 cites W2083944182 @default.
- W2892215877 cites W2084684966 @default.
- W2892215877 cites W2085342194 @default.
- W2892215877 cites W2085411767 @default.
- W2892215877 cites W2089733758 @default.
- W2892215877 cites W2095816419 @default.
- W2892215877 cites W2096482476 @default.
- W2892215877 cites W2099358884 @default.
- W2892215877 cites W2107692756 @default.
- W2892215877 cites W2108516919 @default.
- W2892215877 cites W2118041160 @default.
- W2892215877 cites W2118313805 @default.
- W2892215877 cites W2148157601 @default.
- W2892215877 cites W2167342173 @default.
- W2892215877 cites W2171090910 @default.
- W2892215877 cites W2210256781 @default.
- W2892215877 cites W2291698408 @default.
- W2892215877 cites W2320156170 @default.
- W2892215877 cites W2332483421 @default.
- W2892215877 cites W4205175461 @default.
- W2892215877 cites W4234216897 @default.
- W2892215877 cites W4245136747 @default.
- W2892215877 cites W957426456 @default.
- W2892215877 doi "https://doi.org/10.1016/j.indag.2019.01.001" @default.
- W2892215877 hasPublicationYear "2019" @default.
- W2892215877 type Work @default.
- W2892215877 sameAs 2892215877 @default.
- W2892215877 citedByCount "20" @default.
- W2892215877 countsByYear W28922158772019 @default.
- W2892215877 countsByYear W28922158772020 @default.
- W2892215877 countsByYear W28922158772021 @default.
- W2892215877 countsByYear W28922158772022 @default.
- W2892215877 countsByYear W28922158772023 @default.
- W2892215877 crossrefType "journal-article" @default.
- W2892215877 hasAuthorship W2892215877A5031772210 @default.
- W2892215877 hasAuthorship W2892215877A5088813725 @default.
- W2892215877 hasBestOaLocation W28922158772 @default.
- W2892215877 hasConcept C102993220 @default.
- W2892215877 hasConcept C118615104 @default.
- W2892215877 hasConcept C134306372 @default.
- W2892215877 hasConcept C136119220 @default.
- W2892215877 hasConcept C156325763 @default.
- W2892215877 hasConcept C15744967 @default.
- W2892215877 hasConcept C160131679 @default.
- W2892215877 hasConcept C178421362 @default.
- W2892215877 hasConcept C184337299 @default.
- W2892215877 hasConcept C199360897 @default.
- W2892215877 hasConcept C202444582 @default.
- W2892215877 hasConcept C207648694 @default.
- W2892215877 hasConcept C2779729104 @default.
- W2892215877 hasConcept C2780767217 @default.
- W2892215877 hasConcept C32241873 @default.
- W2892215877 hasConcept C33203268 @default.
- W2892215877 hasConcept C33923547 @default.
- W2892215877 hasConcept C41008148 @default.
- W2892215877 hasConcept C542102704 @default.
- W2892215877 hasConcept C69562738 @default.
- W2892215877 hasConcept C80444323 @default.
- W2892215877 hasConcept C89497691 @default.