Locally finite reducts of Heyting algebras and canonical formulas

DOI10.1215/00294527-3691563zbMATH Open1417.03198OpenAlexW2549454486MaRDI QIDQ509602FDOQ509602

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

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

zbMATH Keywords

filtrationaxiomatizationduality theoryHeyting algebrasuperintuitionistic logicfinite model property

Mathematics Subject Classification ID

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

Cited In (11)

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