The following pages link to Lattices With Involution (Q5635480):
Displayed 34 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)
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC <b>QCIORE</b> (Q5001546) (← links)
- Ockham Algebras—An Urquhart Legacy (Q5027244) (← links)
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021 (Q5037525) (← links)
- Real subset sums and posets with an involution (Q5063203) (← links)
- (Q5077350) (← 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)
- (Q5863855) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
- (Q5886680) (← links)
- On Kleene algebras (Q5906080) (← links)
- Bipolar equations on complete distributive symmetric residuated lattices: the case of a join-irreducible right-hand side (Q6079403) (← links)
- Varieties of K-lattices (Q6079407) (← links)
- Varieties of bounded K-lattices (Q6079408) (← links)
- Extensions of posets with an antitone involution to residuated structures (Q6081508) (← links)
- Tense operators on distributive lattices with implication (Q6115855) (← links)
- Logics of upsets of De Morgan lattices (Q6140751) (← links)
- Subreducts and subvarieties of PBZ *-lattices* (Q6170001) (← links)
- Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications (Q6180422) (← links)