A semantic hierarchy for intuitionistic logic

DOI10.1016/J.INDAG.2019.01.001MaRDI QIDQ1740610zbMATH OpenOpenAlexWikidataFDO

Authors 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

algebraic semanticsBeth semanticsHeyting algebraintermediate logicsintuitionistic logicKripke semanticslocalenucleustopological semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1390272
• scientific article; zbMATH DE number 6787709
• Truth-maker semantics for intuitionistic logic
• scientific article; zbMATH DE number 1418447
• scientific article; zbMATH DE number 2101972

Cites work

• \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces
• A bimodal perspective on possibility semantics
• A characterization of axiom schema playing the rôle of tertium non datur in intuitionistic logic
• A criterion for the separable axiomatization of Gödel's S_n
• A Kripke semantics for the logic of Gelfand quantales
• A logic stronger than intuitionism
• A propositional calculus with denumerable matrix
• A series of successive modifications of Peirce's rule
• A study of intermediate propositional logics on the third slice
• A Survey of Propositional Realizability Logic
• A topological representation theory for lattices
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• An algebraic approach to non-classical logics
• An interpretation of intuitionistic analysis
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• Computational types from a logical perspective
• Constructivism in mathematics. An introduction. Volume I
• Constructivism in mathematics. An introduction. Volume II
• Cover semantics for quantified lax logic
• Der Aussagenkalkül und die Topologie
• Diodorean modality in Minkowski spacetime
• Equivalence between semantics for intuitionism. I
• Finite limitations on Dummett's LC
• Frames and Locales
• From worlds to possibilities
• Grothendieck Topology as Geometric Modality
• Handbook of philosophical logic. Vol. 5
• How to glue analysis models
• scientific article; zbMATH DE number 3642294 (Why is no real title available?)
• scientific article; zbMATH DE number 3645093 (Why is no real title available?)
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 425858 (Why is no real title available?)
• scientific article; zbMATH DE number 3122423 (Why is no real title available?)
• scientific article; zbMATH DE number 3120840 (Why is no real title available?)
• scientific article; zbMATH DE number 3124827 (Why is no real title available?)
• scientific article; zbMATH DE number 5295821 (Why is no real title available?)
• scientific article; zbMATH DE number 3916267 (Why is no real title available?)
• scientific article; zbMATH DE number 3950473 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 3968648 (Why is no real title available?)
• scientific article; zbMATH DE number 4045703 (Why is no real title available?)
• scientific article; zbMATH DE number 3683552 (Why is no real title available?)
• scientific article; zbMATH DE number 3685485 (Why is no real title available?)
• scientific article; zbMATH DE number 3711943 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3775591 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 192927 (Why is no real title available?)
• scientific article; zbMATH DE number 3532920 (Why is no real title available?)
• scientific article; zbMATH DE number 3598539 (Why is no real title available?)
• scientific article; zbMATH DE number 3614837 (Why is no real title available?)
• scientific article; zbMATH DE number 1150714 (Why is no real title available?)
• scientific article; zbMATH DE number 1478228 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 1748963 (Why is no real title available?)
• scientific article; zbMATH DE number 1749196 (Why is no real title available?)
• scientific article; zbMATH DE number 218494 (Why is no real title available?)
• scientific article; zbMATH DE number 2085167 (Why is no real title available?)
• scientific article; zbMATH DE number 3448545 (Why is no real title available?)
• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• scientific article; zbMATH DE number 1848312 (Why is no real title available?)
• scientific article; zbMATH DE number 1852922 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 1916522 (Why is no real title available?)
• scientific article; zbMATH DE number 1406811 (Why is no real title available?)
• scientific article; zbMATH DE number 1418447 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• scientific article; zbMATH DE number 3210031 (Why is no real title available?)
• scientific article; zbMATH DE number 3212004 (Why is no real title available?)
• scientific article; zbMATH DE number 3212008 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3230245 (Why is no real title available?)
• scientific article; zbMATH DE number 3231073 (Why is no real title available?)
• scientific article; zbMATH DE number 3250542 (Why is no real title available?)
• scientific article; zbMATH DE number 3280031 (Why is no real title available?)
• scientific article; zbMATH DE number 3289430 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• scientific article; zbMATH DE number 3304009 (Why is no real title available?)
• scientific article; zbMATH DE number 3304938 (Why is no real title available?)
• scientific article; zbMATH DE number 3313428 (Why is no real title available?)
• scientific article; zbMATH DE number 3316016 (Why is no real title available?)
• scientific article; zbMATH DE number 3342820 (Why is no real title available?)
• scientific article; zbMATH DE number 3346343 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• scientific article; zbMATH DE number 3031479 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• scientific article; zbMATH DE number 3074853 (Why is no real title available?)
• scientific article; zbMATH DE number 3103212 (Why is no real title available?)
• Infinitary intuitionistic logic from a classical point of view
• Introduction to Boolean Algebras
• Intuitionistic truth
• Investigations into the system of intuitionistic logic
• Lectures on the Curry-Howard isomorphism
• Locales, nuclei, and Dragalin frames
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Modal companions of intermediate propositional logics
• Modal logic
• Modal Logics Between S 4 and S 5
• Modal operators on Heyting algebras
• Normal monomodal logics can simulate all others
• Notes on constructive negation
• On A neglected path to intuitionism
• On closed elements in closure algebras
• On intermediate propositional logics
• On Jaskowski-type semantics for the intuitionistic propositional logic
• On neighbourhood semantics thirty years later
• On the interpretation of intuitionistic number theory
• Pretabular superintuitionistic logic
• Pretopologies and completeness proofs
• Proof of the independence of the primitive symbols of Heyting's calculus of propositions
• Propositional Calculus and Realizability
• Propositional lax logic
• Quantification in nonclassical logic. Volume I.
• Relational and neighborhood semantics for intuitionistic modal logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• Semantical investigations in Heyting's intuitionistic logic
• Some Classes of Kripke Frames Characteristic for the Intuitionistic Logic
• Some theorems about the sentential calculi of Lewis and Heyting
• The algebra of topology
• The connectives
• The decidability of certain intermediate propositional logics
• The information in intuitionistic logic
• The Kolmogorov calculus as a part of minimal calculus
• The separable axiomatization of the intermediate propositional systems $S_n $ of Gödel
• Theory of logical calculi. Basic theory of consequence operations
• Topoi. The categorial analysis of logic. Rev. ed
• Truth-maker semantics for intuitionistic logic
• Universal grammar

Cited in

(33)

• Semantic trees for Dummett's logic LC
• Implicit and explicit stances in logic
• What is a relevant connective?
• Diego's theorem for nuclear implicative semilattices
• Three roads to complete lattices: orders, compatibility, polarity
• B-frame duality
• Describing a basis in semireduced form for inference rules of intuitionistic logic
• An Institutional Foundation for the $$\mathbb {K}$$K Semantic Framework
• scientific article; zbMATH DE number 3867321 (Why is no real title available?)
• Base-extension semantics for intuitionistic sentential logic
• Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic
• COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS
• Hierarchical Organisation of Predicate-Semantic Models
• scientific article; zbMATH DE number 6787709 (Why is no real title available?)
• scientific article; zbMATH DE number 964558 (Why is no real title available?)
• 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
• Lattices of Intermediate Theories via Ruitenburg's Theorem
• A study of algebraic structures and logics based on categories of rough sets
• Substructural nuclear (image-based) logics and operational Kripke-style semantics
• Apartness relations between propositions
• Two-dimensional Kripke semantics. II: Stability and completeness
• From philosophical traditions to scientific developments: reconsidering the response to Brouwer's intuitionism
• Local operators in topos theory and separation of semi-classical axioms in intuitionistic arithmetic
• Information types in intuitionistic predicate logic with constant domains
• Two-dimensional Kripke semantics i: presheaves
• Truth-maker semantics for some substructural logics
• Modern faces of filtration
• Conservation as translation
• A model theory of topology
• Relational patterns, partiality, and set lifting in modal semantics
• Carnap's (categoricity) problem

Describes a project that uses

Uses Software

• MathOverflow

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1740610)