Finitely generated free Heyting algebras

DOI10.2307/2273952zbMath0616.03021OpenAlexW2106838905MaRDI QIDQ4724609

Fabio Bellissima

Publication date: 1986

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273952

zbMATH Keywords

intuitionistic logicorder topologyfree Heyting algebrapseudo-Boolean algebraintuitionistic propositional Kripke model

Mathematics Subject Classification ID

Free algebras (08B20) Equational classes, universal algebra in model theory (03C05) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items

Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property, Remark on a finite axiomatization of finite intermediate propositional logics, Two classes of intermediate propositional logics without disjunction property, Optimal natural dualities for varieties of Heyting algebras, Unification, finite duality and projectivity in varieties of Heyting algebras, Bisimulation and propositional intuitionistic logic, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, Extendible formulas in two variables in intuitionistic logic, Post complete and 0-axiomatizable modal logics, Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond, Free equivalential algebras, Codimension and pseudometric in co-Heyting algebras, Univalence for inverse diagrams and homotopy canonicity, On Bellissima's construction of the finitely generated free Heyting algebras, and beyond, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, Canonical Extensions, Esakia Spaces, and Universal Models

Cites Work

• Unnamed Item
• Unnamed Item
• An algebraic approach to non-classical logics
• Free Heyting algebras
• On closed elements in closure algebras
• On formulas of one variable in intuitionistic propositional calculus
• ATOMS IN MODAL ALGEBRAS