Pages that link to "Item:Q5419017"
From MaRDI portal
The following pages link to Duality Theories for Boolean Algebras with Operators (Q5419017):
Displaying 10 items.
- Ultraproducts of continuous posets (Q331024) (← links)
- Topological duality for Boolean algebras with a normal \(n\)-ary monotonic operator (Q1016093) (← links)
- Duality for a class of binary operations on [0, 1] (Q1197815) (← links)
- Dualities in the class of extended Boolean functions (Q1698142) (← links)
- On pairs of dual consequence operations (Q1941723) (← links)
- Complete and atomic Tarski algebras (Q2274138) (← links)
- On Ehresmann semigroups (Q2665927) (← links)
- (Q4011578) (← links)
- Beth Definability in the Logic KR (Q5027235) (← links)
- Formalising basic topology for computational logic in simple type theory (Q6159367) (← links)