Locally finite reducts of Heyting algebras and canonical formulas

DOI10.1215/00294527-3691563MaRDI QIDQ509602zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili, Nick Bezhanishvili

Publication date 17 February 2017

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://dspace.library.uu.nl/handle/1874/273468

zbMATH Keywords

axiomatizationduality theoryfiltrationfinite model propertyHeyting algebrasuperintuitionistic logic

Mathematics Subject Classification ID

Intermediate logics (03B55) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• Characteristic formulas of partial Heyting algebras
• On algebras and varieties with semilattice reducts
• Cofinal stable logics
• Characteristic formulas over intermediate logics
• Canonical formulas for \(k\)-potent commutative, integral, residuated lattices

Cited in

(14)

• Stable formulas in intuitionistic logic
• MacNeille transferability and stable classes of Heyting algebras
• Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
• Characteristic formulas of partial Heyting algebras
• Intermediate logics admitting a structural hypersequent calculus
• Stable modal logics
• DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
• Cofinal stable logics
• Remarks on Stable Formulas in Intuitionistic Logic
• Jankov Formulas and Axiomatization Techniques for Intermediate Logics
• POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION
• Blok-Esakia theorems via stable canonical rules
• Stable canonical rules for intuitionistic modal logics
• Stable canonical rules and formulas for pre-transitive logics via definable filtration

This page was built for publication: Locally finite reducts of Heyting algebras and canonical formulas

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q509602)