The following pages link to Lattices With Involution (Q5635480):
Displayed 50 items.
- MV-algebras freely generated by finite Kleene algebras. (Q387625) (← links)
- Super-De Morgan functions and free De Morgan quasilattices (Q403200) (← links)
- Equational characterization for two-valued states in orthomodular quantum systems (Q429230) (← links)
- Subdirectly irreducible algebras with hyperidentities of the variety of De Morgan algebras. (Q471542) (← links)
- Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules (Q698829) (← links)
- A functional completeness theorem for De Morgan functions. (Q741709) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- Enumerating fuzzy switching functions and free Kleene algebras (Q796494) (← links)
- Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS) (Q869120) (← links)
- The algebra of conditional logic (Q913791) (← links)
- On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras (Q931448) (← links)
- On some categories of involutive centered residuated lattices (Q1005951) (← links)
- A necessary and sufficient condition for a product relation to be total (Q1057295) (← links)
- A property of algebraic lattices whose compact elements have complements (Q1078588) (← links)
- De Morgan algebras are universal (Q1089017) (← links)
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras (Q1090350) (← links)
- Coherent De Morgan algebras (Q1102309) (← links)
- Congruence relations on De Morgan algebras (Q1121298) (← links)
- Subdirectly irreducible pseudocomplemented De Morgan algebras (Q1150638) (← links)
- Nichtdistributive, modulare Polaritaetsverbaende (Q1168343) (← links)
- \(I_ n\)-symmetrical Heyting algebras (Q1208070) (← links)
- Algebras with modular lattice reducts and simple subdirectly irreducibles (Q1213454) (← links)
- Classical relevant logics. II (Q1221098) (← links)
- Distributive lattices with an additional unary operation (Q1252874) (← links)
- Implicational classes of De Morgan lattices (Q1301839) (← links)
- Definitional equivalence and algebraizability of generalized logical systems (Q1302288) (← links)
- Truth and the liar in De Morgan-valued models (Q1347605) (← links)
- A non-finitely based quasi-variety of De Morgan algebras (Q1770609) (← links)
- On fuzzinesstic measures of entropy on Kleene algebras (Q1824642) (← links)
- Distributive lattices with a dual homomorphic operation. II (Q1838987) (← links)
- On Ockham algebras: Congruence lattices and subdirectly irreducible algebras (Q1902556) (← links)
- Semi-De Morgan algebras (Q1914064) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- Lewis dichotomies in many-valued logics (Q1935553) (← links)
- A method of representing rough sets system determined by quasi orders (Q1943683) (← links)
- Contradictory information: too much of a good thing (Q1959325) (← links)
- De Morgan functions and free De Morgan algebras. (Q2248023) (← links)
- Admissibility in De Morgan algebras (Q2391905) (← links)
- Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics (Q2437508) (← links)
- Two-valued states on Baer \(^\ast\)-semigroups (Q2447096) (← links)
- The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
- Belnap's logic and conditional composition (Q2464948) (← links)
- Unification and projectivity in De Morgan and Kleene algebras. (Q2510377) (← links)
- Homomorphisms of intensionally complemented distributive lattices (Q2526962) (← links)
- Many worlds and modality in the interpretation of quantum mechanics: An algebraic approach (Q3069140) (← links)
- An Algebraic Version of the Cantor-Bernstein-Schr�der Theorem (Q3366657) (← links)
- Lattices with Interior and Closure Operators and Abstract Approximation Spaces (Q3393391) (← links)
- Modal-type orthomodular logic (Q3632528) (← links)
- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms (Q3638206) (← links)
- Kleene algebras are almost universal (Q3708066) (← links)