Characteristic formulas of partial Heyting algebras

DOI10.1007/S11787-012-0048-7MaRDI QIDQ2392011zbMATH OpenOpenAlexFDO

Authors Alex Citkin

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

zbMATH Keywords

intermediate logiccharacteristic setHeyting algebrapartial algebracharacteristic formula

Mathematics Subject Classification ID

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

Recommendations

• Characteristic formulas over intermediate logics
• An infinitary extension of Jankov's theorem
• scientific article; zbMATH DE number 2024625
• Characteristic inference rules
• Locally finite reducts of Heyting algebras and canonical formulas

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)