A semantic hierarchy for intuitionistic logic

DOI10.1016/j.indag.2019.01.001OpenAlexW2892215877WikidataQ128606992 ScholiaQ128606992MaRDI QIDQ1740610

Guram Bezhanishvili, Wesley H. Holliday

Publication date: 2 May 2019

Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)

Full work available at URL: https://escholarship.org/uc/item/2vp2x4rx

zbMATH Keywords

localenucleusalgebraic semanticsHeyting algebraKripke semanticsintuitionistic logicintermediate logicstopological semanticsBeth semantics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Related Items (10)

What is a relevant connective? ⋮ Diego's theorem for nuclear implicative semilattices ⋮ Three roads to complete lattices: orders, compatibility, polarity ⋮ Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic ⋮ Deriving dualities in pointfree topology from Priestley duality ⋮ Esakia duals of regular Heyting algebras ⋮ B-frame duality ⋮ Lattices of Intermediate Theories via Ruitenburg's Theorem ⋮ Implicit and explicit stances in logic ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS

Uses Software

• MathOverflow

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel
• A criterion for the separable axiomatization of Gödel's $S_n $
• The decidability of certain intermediate propositional logics
• Modal Logics Between S 4 and S 5
• A characterization of axiom schema playing the rôle of tertium non datur in intuitionistic logic
• A series of successive modifications of Peirce's rule
• Universal grammar
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• On intermediate propositional logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Der Aussagenkalkül und die Topologie
• Proof of the independence of the primitive symbols of Heyting's calculus of propositions
• Some theorems about the sentential calculi of Lewis and Heyting
• Propositional Calculus and Realizability
• On the interpretation of intuitionistic number theory
• A Kripke semantics for the logic of Gelfand quantales
• Truth-maker semantics for intuitionistic logic
• Quantification in nonclassical logic. Volume I.
• Topoi. The categorial analysis of logic. Rev. ed
• The information in intuitionistic logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Lectures on the Curry-Howard isomorphism
• \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces
• Intuitionistic truth
• Semantical investigations in Heyting's intuitionistic logic
• Diodorean modality in Minkowski spacetime
• Modal operators on Heyting algebras
• From worlds to possibilities
• Constructivism in mathematics. An introduction. Volume I
• Constructivism in mathematics. An introduction. Volume II
• Theory of logical calculi. Basic theory of consequence operations
• Modal companions of intermediate propositional logics
• A study of intermediate propositional logics on the third slice
• An algebraic approach to non-classical logics
• Investigations into the system of intuitionistic logic
• On Jaskowski-type semantics for the intuitionistic propositional logic
• A topological representation theory for lattices
• Propositional lax logic
• Handbook of philosophical logic. Vol. 5
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Pretabular superintuitionistic logic
• On A neglected path to intuitionism
• Finite limitations on Dummett's LC
• Notes on constructive negation
• The algebra of topology
• On closed elements in closure algebras
• Frames and Locales
• Cover semantics for quantified lax logic
• A bimodal perspective on possibility semantics
• A propositional calculus with denumerable matrix
• Introduction to Boolean Algebras
• A Survey of Propositional Realizability Logic
• How to glue analysis models
• The Kolmogorov calculus as a part of minimal calculus
• Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic
• Grothendieck Topology as Geometric Modality
• Equivalence between semantics for intuitionism. I
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• An interpretation of intuitionistic analysis
• Infinitary intuitionistic logic from a classical point of view
• Computational types from a logical perspective
• Normal monomodal logics can simulate all others
• A logic stronger than intuitionism
• Pretopologies and completeness proofs

This page was built for publication: A semantic hierarchy for intuitionistic logic