Characteristic formulas of partial Heyting algebras
From MaRDI portal
Publication:2392011
DOI10.1007/s11787-012-0048-7zbMath1309.03012OpenAlexW1978079546MaRDI QIDQ2392011
Publication date: 6 August 2013
Published in: Logica Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11787-012-0048-7
Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Intermediate logics (03B55)
Related Items (3)
V. Yankov’s Contributions to Propositional Logic ⋮ Jankov Formulas and Axiomatization Techniques for Intermediate Logics ⋮ Yankov Characteristic Formulas (An Algebraic Account)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Refutation calculi for certain intermediate propositional logics
- Residuated lattices. An algebraic glimpse at substructural logics
- An algebraic approach to non-classical logics
- On the structure of varieties with equationally definable principal congruences. IV
- On the structure of varieties with equationally definable principal congruences. III
- Varieties of monadic Heyting algebras. I
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- On closed elements in closure algebras
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
- Decidability problem for finite Heyting algebras
- Brouwerian Semilattices
- Canonical formulas for K4. Part I: Basic results
- An ascending chain of S4 logics
- Canonical formulas for K4. Part III: the finite model property
- A Basis of Bachmuth Type in the Commutator Subgroup of a Free Group
- Canonical formulas for K4. Part II: Cofinal subframe logics
- The decidability of certain intermediate propositional logics
- Equational Bases and Nonmodular Lattice Varieties
This page was built for publication: Characteristic formulas of partial Heyting algebras
