Pages that link to "Item:Q4081295"
From MaRDI portal
The following pages link to Dualities for Equational Classes of Brouwerian Algebras and Heyting Algebras (Q4081295):
Displaying 23 items.
- Bilattices with implications (Q368472) (← links)
- Priestley duality for bilattices (Q454389) (← links)
- Coproducts of distributive lattice-based algebras. (Q471163) (← links)
- Gödel algebras: interactive dualities and their applications. (Q494623) (← links)
- Varieties of interlaced bilattices (Q647327) (← links)
- Compatible relations on Heyting chains (Q664307) (← links)
- Topological duality for distributive Ockham algebras (Q793767) (← links)
- Finiteness based results in BL-algebras (Q816864) (← links)
- Injective uniform structures (Q1162582) (← links)
- Equational axioms for classes of Heyting algebras (Q1237072) (← links)
- Injectivity and Boolean powers (Q1255510) (← links)
- Bjarni Jónsson's contributions in algebra (Q1327458) (← links)
- Endoprimal distributive lattices are endodualisable (Q1905993) (← links)
- Optimal natural dualities for varieties of Heyting algebras (Q1914059) (← links)
- Natural dualities in partnership (Q1928246) (← links)
- Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term (Q1935556) (← links)
- Free algebras in varieties of Glivenko MTL-algebras satisfying the equation \(2(x^{2}) = (2x)^{2}\) (Q2433099) (← links)
- Heyting algebras with Boolean operators for rough sets and information retrieval applications (Q2478438) (← links)
- Natural dualities for varieties of BL-algebras (Q2576643) (← links)
- Paraconsistent Modal Logics (Q2825416) (← links)
- Piggyback-Dualitäten (Q3749112) (← links)
- A representation theory for the variety generated by the triangle (Q3937463) (← links)
- Strong endomorphism kernel property for finite Brouwerian semilattices and relative Stone algebras (Q6125102) (← links)