Pages that link to "Item:Q952491"
From MaRDI portal
The following pages link to Gödel algebras free over finite distributive lattices (Q952491):
Displaying 7 items.
- MV-algebras freely generated by finite Kleene algebras. (Q387625) (← links)
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties (Q1697331) (← links)
- Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
- Characterizing finite-valuedness (Q1795205) (← links)
- Prelinear Hilbert algebras (Q2035275) (← links)
- Semi-Heyting algebras term-equivalent to Gödel algebras (Q2376916) (← links)
- Free Heyting Algebras: Revisited (Q2888491) (← links)
