Finitely generated free Heyting algebras
From MaRDI portal
Publication:4724609
DOI10.2307/2273952zbMath0616.03021OpenAlexW2106838905MaRDI QIDQ4724609
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
intuitionistic logicorder topologyfree Heyting algebrapseudo-Boolean algebraintuitionistic propositional Kripke model
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
This page was built for publication: Finitely generated free Heyting algebras
