Jankov Formulas and Axiomatization Techniques for Intermediate Logics

DOI10.1007/978-3-031-06843-0_4OpenAlexW4312423544MaRDI QIDQ5886457

Guram Bezhanishvili, Nick Bezhanishvili

Publication date: 5 April 2023

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-06843-0_4

zbMATH Keywords

splittingsfinite model propertyintuitionistic logicaxiomatizationintermediate logicssubframe logics

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Stone spaces (Boolean spaces) and related structures (06E15) Intermediate logics (03B55)

Related Items (1)

Esakia duals of regular Heyting algebras

Cites Work

• Admissible bases via stable canonical rules
• Consequence relations and admissible rules
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Locally finite reducts of Heyting algebras and canonical formulas
• Cofinal stable logics
• An algebraic approach to subframe logics. Modal case
• Finite axiomatizability of locally tabular superintuitionistic logics
• An algebraic approach to canonical formulas: modal case
• An almost general splitting theorem for modal logic
• Syntax and semantics of superintuitionistic logics
• Profinite Heyting algebras
• Bases of admissible rules of the logics S4 and Int
• Model theory.
• Propositional lax logic
• Heyting algebras. Duality theory. Translated from the Russian by A. Evseev
• Stable formulas in intuitionistic logic
• On the structure of varieties with equationally definable principal congruences. I
• MacNeille transferability and stable classes of Heyting algebras
• Profiniteness and representability of spectra of Heyting algebras
• Characteristic inference rules
• Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
• An algebraic approach to subframe logics. Intuitionistic case
• Characteristic formulas of partial Heyting algebras
• Intermediate logics admitting a structural hypersequent calculus
• The algebra of topology
• On closed elements in closure algebras
• STABLE CANONICAL RULES
• Subframization and stabilization for superintuitionistic logics
• The Kuznetsov-Gerčiu and Rieger-Nishimura logics
• Bitopological duality for distributive lattices and Heyting algebras
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• Canonical rules
• Logics containing K4. Part II
• Splitting lattices of logics
• Grothendieck Topology as Geometric Modality
• Canonical formulas for K4. Part I: Basic results
• An ascending chain of S4 logics
• Ordered Topological Spaces and the Representation of Distributive Lattices
• THE CONSTRUCTION OF SPACES DUAL TO PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
• Hereditarily structurally complete modal logics
• Canonical formulas for K4. Part II: Cofinal subframe logics
• CANONICAL FORMULAS FOR wK4
• STABLE MODAL LOGICS
• JANKOV-STYLE FORMULAS AND REFUTATION SYSTEMS
• Algebras Whose Congruence Lattices are Distributive.
• The decidability of certain intermediate propositional logics
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Equational Bases and Nonmodular Lattice Varieties
• On intermediate propositional logics
• The Theory of Representation for Boolean Algebras
• 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

This page was built for publication: Jankov Formulas and Axiomatization Techniques for Intermediate Logics