Locally finite reducts of Heyting algebras and canonical formulas

DOI10.1215/00294527-3691563zbMath1417.03198OpenAlexW2549454486MaRDI QIDQ509602

Nick Bezhanishvili, Guram 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

filtrationduality theoryHeyting algebrafinite model propertyaxiomatizationsuperintuitionistic logic

Mathematics Subject Classification ID

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

Related Items

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