The following pages link to Semi-De Morgan algebras (Q1914064):
Displaying 6 items.
- Sequent calculi for semi-De Morgan and De Morgan algebras (Q1653653) (← links)
- Semi-De Morgan algebras (Q1914064) (← links)
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- (Q5472335) (← links)
