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

filtrationaxiomatizationduality theoryHeyting algebrasuperintuitionistic logicfinite model property

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

(11)

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

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)