Characteristic formulas of partial Heyting algebras

DOI10.1007/S11787-012-0048-7zbMATH Open1309.03012OpenAlexW1978079546MaRDI QIDQ2392011FDOQ2392011

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

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

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)

Cites Work

• Title not available (Why is that?)
• Canonical formulas for K4. Part I: Basic results
• Canonical formulas for K4. Part III: the finite model property
• Canonical formulas for K4. Part II: Cofinal subframe logics
• Residuated lattices. An algebraic glimpse at substructural logics
• An algebraic approach to non-classical logics
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• On closed elements in closure algebras
• Title not available (Why is that?)
• Equational Bases and Nonmodular Lattice Varieties
• On the structure of varieties with equationally definable principal congruences. III
• AN ALGEBRAIC APPROACH TO CANONICAL FORMULAS: INTUITIONISTIC CASE
• On the structure of varieties with equationally definable principal congruences. IV
• The decidability of certain intermediate propositional logics
• Varieties of monadic Heyting algebras. I
• Decidability problem for finite Heyting algebras
• A Basis of Bachmuth Type in the Commutator Subgroup of a Free Group
• Title not available (Why is that?)
• An ascending chain of S4 logics
• Refutation calculi for certain intermediate propositional logics
• Brouwerian Semilattices
• On the finite embeddability property for residuated lattices, pocrims and BCK-algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Yankov Characteristic Formulas (An Algebraic Account)
• V. Yankov’s Contributions to Propositional Logic
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics

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)