The following pages link to Lattices With Involution (Q5635480):
Displayed 18 items.
- Principal congruences in de Morgan algebras (Q3726179) (← links)
- Distributive Ockham algebras: free algebras and injectivity (Q3932848) (← links)
- Injective de Morgan and Kleene Algebras (Q4056051) (← links)
- Coproducts of De Morgan algebras (Q4094903) (← links)
- Free Modal Pseudocomplemented De Morgan Algebras (Q4556010) (← links)
- REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS (Q4576930) (← links)
- Cubical Type Theory: a constructive interpretation of the univalence axiom (Q4580226) (← links)
- (Q4606689) (← links)
- (Q4612556) (← links)
- Checking Admissibility Using Natural Dualities (Q4617979) (← links)
- A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES (Q4692073) (← links)
- The Square of Opposition in Orthomodular Logic (Q4915584) (← links)
- (Q5179121) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- Boolean elements in Lukasiewicz algebras, I (Q5553261) (← links)
- Characterization of a De Morgan lattice in terms of implication and negation (Q5579525) (← links)
- (Q5737908) (← links)
- On Kleene algebras (Q5906080) (← links)