Finitely generated free Heyting algebras
From MaRDI portal
Publication:4724609
DOI10.2307/2273952zbMATH Open0616.03021OpenAlexW2106838905MaRDI QIDQ4724609FDOQ4724609
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
Equational classes, universal algebra in model theory (03C05) Free algebras (08B20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)
Cites Work
Cited In (21)
- Univalence for inverse diagrams and homotopy canonicity
- Codimension and pseudometric in co-Heyting algebras
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property
- Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond
- Title not available (Why is that?)
- Unification, finite duality and projectivity in varieties of Heyting algebras
- Two classes of intermediate propositional logics without disjunction property
- Extendible formulas in two variables in intuitionistic logic
- Notes on my scientific life
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
- Post complete and 0-axiomatizable modal logics
- Finitely generated relatively universal varieties of Heyting algebras
- On Tarski algebras with a finite set of free generators
- Free equivalential algebras
- Bisimulation and propositional intuitionistic logic
- Optimal natural dualities for varieties of Heyting algebras
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality
- Remark on a finite axiomatization of finite intermediate propositional logics
- Canonical Extensions, Esakia Spaces, and Universal Models
Recommendations
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Free-decomposability in varieties of semi-Heyting algebras 👍 👎
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond 👍 👎
- Finitely generated relatively universal varieties of Heyting algebras 👍 👎
- Free Heyting Algebras: Revisited 👍 👎
- Finitely generated free Heyting algebras via Birkhoff duality and coalgebra 👍 👎
- Finitely generated free Heyting algebras: the well-founded initial segment 👍 👎
This page was built for publication: Finitely generated free Heyting algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4724609)
