Characteristic formulas of partial Heyting algebras
From MaRDI portal
Publication:2392011
Recommendations
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 432732 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 4123702 (Why is no real title available?)
- scientific article; zbMATH DE number 3287709 (Why is no real title available?)
- scientific article; zbMATH DE number 3337650 (Why is no real title available?)
- A Basis of Bachmuth Type in the Commutator Subgroup of a Free Group
- AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
- An algebraic approach to non-classical logics
- An ascending chain of S4 logics
- Brouwerian Semilattices
- Canonical formulas for K4. Part I: Basic results
- Canonical formulas for K4. Part II: Cofinal subframe logics
- Canonical formulas for K4. Part III: the finite model property
- Decidability problem for finite Heyting algebras
- Equational Bases and Nonmodular Lattice Varieties
- On closed elements in closure algebras
- On the finite embeddability property for residuated lattices, pocrims and BCK-algebras
- On the structure of varieties with equationally definable principal congruences. III
- On the structure of varieties with equationally definable principal congruences. IV
- Refutation calculi for certain intermediate propositional logics
- Residuated lattices. An algebraic glimpse at substructural logics
- The decidability of certain intermediate propositional logics
- The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
- Varieties of monadic Heyting algebras. I
Cited in
(7)- Characteristic formulas over intermediate logics
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics
- Yankov Characteristic Formulas (An Algebraic Account)
- V. Yankov’s Contributions to Propositional Logic
- Jankov-style formulas and refutation systems
- Characteristic inference rules
- Locally finite reducts of Heyting algebras and canonical formulas
This page was built for publication: Characteristic formulas of partial Heyting algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2392011)