Finitely generated free Heyting algebras
From MaRDI portal
Publication:4724609
DOI10.2307/2273952zbMath0616.03021MaRDI 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 logic; order topology; free Heyting algebra; pseudo-Boolean algebra; intuitionistic propositional Kripke model
08B20: Free algebras
03C05: Equational classes, universal algebra in model theory
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
Related Items
Remark on a finite axiomatization of finite intermediate propositional logics, DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV, Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond, Canonical Extensions, Esakia Spaces, and Universal Models, Univalence for inverse diagrams and homotopy canonicity, Bisimulation and propositional intuitionistic logic, Extendible formulas in two variables in intuitionistic logic, Codimension and pseudometric in co-Heyting algebras, Unification, finite duality and projectivity in varieties of Heyting algebras, On Bellissima's construction of the finitely generated free Heyting algebras, and beyond, Post complete and 0-axiomatizable modal logics, Free equivalential algebras, Two classes of intermediate propositional logics without disjunction property, Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), Optimal natural dualities for varieties of Heyting algebras, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
Cites Work