Pages that link to "Item:Q4724609"
From MaRDI portal
The following pages link to Finitely generated free Heyting algebras (Q4724609):
Displaying 17 items.
- Extendible formulas in two variables in intuitionistic logic (Q454378) (← links)
- Codimension and pseudometric in co-Heyting algebras (Q535091) (← links)
- Unification, finite duality and projectivity in varieties of Heyting algebras (Q598304) (← links)
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← links)
- Post complete and 0-axiomatizable modal logics (Q920977) (← links)
- Free equivalential algebras (Q952484) (← links)
- Two classes of intermediate propositional logics without disjunction property (Q1115419) (← links)
- Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property (Q1327480) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Optimal natural dualities for varieties of Heyting algebras (Q1914059) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- Remark on a finite axiomatization of finite intermediate propositional logics (Q4531584) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Free Heyting algebra endomorphisms: Ruitenburg’s Theorem and beyond (Q5139276) (← links)
- Canonical Extensions, Esakia Spaces, and Universal Models (Q5255790) (← links)
- Univalence for inverse diagrams and homotopy canonicity (Q5740656) (← links)
- Notes on my scientific life (Q6612807) (← links)
