An algebraic approach to subframe logics. Intuitionistic case

DOI10.1016/j.apal.2007.04.001zbMath1123.03055OpenAlexW2096659378MaRDI QIDQ2370373

Silvio Ghilardi, Guram Bezhanishvili

Publication date: 25 June 2007

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2007.04.001

zbMATH Keywords

dualityHeyting algebrasvarietiesnucleilocal operatorssubframe logics

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25)

Related Items (23)

Adjoint maps between implicative semilattices and continuity of localic maps ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Nuclear ranges in implicative semilattices ⋮ Continuity, freeness, and filtrations ⋮ Duality and Universal Models for the Meet-Implication Fragment of IPC ⋮ Forbidden configurations and subframe varieties ⋮ Diego's theorem for nuclear implicative semilattices ⋮ The frame of nuclei on an Alexandroff space ⋮ Funayama's theorem revisited ⋮ Deriving dualities in pointfree topology from Priestley duality ⋮ Admissible rules for six intuitionistic modal logics ⋮ Hereditarily structurally complete intermediate logics: Citkin's theorem via duality ⋮ An algebraic approach to canonical formulas: modal case ⋮ CANONICAL FORMULAS FOR wK4 ⋮ Proximity frames and regularization. ⋮ Stable formulas in intuitionistic logic ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Frame based formulas for intermediate logics ⋮ When is the frame of nuclei spatial: a new approach ⋮ Categories of models of \(\mathbf{R}\)-mingle ⋮ AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE ⋮ A topological approach to MTL-algebras ⋮ Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic

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
• Syntax and semantics of superintuitionistic logics
• Modal operators on Heyting algebras
• The structure of lattices of subframe logics
• An extension of the Galois theory of Grothendieck
• Logics containing K4. Part II
• Modal extensions of Heyting algebras
• Brouwerian Semilattices
• Grothendieck Topology as Geometric Modality
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Implicative Semi-Lattices
• The decidability of certain intermediate propositional logics

This page was built for publication: An algebraic approach to subframe logics. Intuitionistic case