Pages that link to "Item:Q5672679"
From MaRDI portal
The following pages link to A New Proof of the Construction Theorem for Stone Algebras (Q5672679):
Displaying 10 items.
- Constructions of p-algebras (Q791550) (← links)
- Quadruple construction of decomposable double \textit{MS}-algebras (Q2057875) (← links)
- Stone algebras: 3-valued logic and rough sets (Q2100406) (← links)
- On a new construction of pseudocomplemented semilattices (Q2238023) (← links)
- A categorical equivalence for Stonean residuated lattices (Q2422315) (← links)
- (Q2847084) (← links)
- Congruence lattices in varieties with compact intersection property (Q2940630) (← links)
- (Q3699744) (← links)
- Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL (Q5049005) (← links)
- (Q5472326) (← links)
