Indagationes Mathematicae 30 (3):403-469 (2019)

Wesley H. Holliday
University of California, Berkeley
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.
Keywords intuitionistic logic  intermediate logics  Kripke semantics  Beth semantics  topological semantics  algebraic semantics  Heyting algebra  locale  nucleus
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,448
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Propositional Calculus with Denumerable Matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Diodorean Modality in Minkowski Spacetime.Robert Goldblatt - 1980 - Studia Logica 39 (2-3):219 - 236.
Intuitionistic Logic.Dirk van Dalen - 2002 - In D. M. Gabbay & F. Guenthner (eds.), ¸ Itegabbay2002. Kluwer Academic Publishers. pp. 1-115.

View all 13 references / Add more references

Citations of this work BETA

Inquisitive Intuitionistic Logic.Wesley H. Holliday - forthcoming - In Nicola Olivetti & Rineke Verbrugge (eds.), Advances in Modal Logic, Vol. 11. London: College Publications.

Add more citations

Similar books and articles

Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
Locales, Nuclei, and Dragalin Frames.Guram Bezhanishvili & Wesley Holliday - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. London: College Publications. pp. 177-196.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
Completeness and Incompleteness for Intuitionistic Logic.Charles McCarty - 2008 - Journal of Symbolic Logic 73 (4):1315-1327.
On Adopting Kripke Semantics in Set Theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
A Generalization of Inquisitive Semantics.Vít Punčochář - 2016 - Journal of Philosophical Logic 45 (4):399-428.
Kripke Bundle Semantics and C-Set Semantics.Eiko Isoda - 1997 - Studia Logica 58 (3):395-401.
Incompleteness Results in Kripke Bundle Semantics.Kazuaki Nagaoka & Eiko Isoda - 1997 - Mathematical Logic Quarterly 43 (4):485-498.
Reference and Perspective in Intuitionistic Logics.John Nolt - 2006 - Journal of Logic, Language and Information 16 (1):91-115.
Kripke-Style Semantics for Many-Valued Logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
Algebraic Semantics for Deductive Systems.W. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1):153-180.


Added to PP index

Total views
43 ( #247,312 of 2,445,957 )

Recent downloads (6 months)
8 ( #87,110 of 2,445,957 )

How can I increase my downloads?


My notes