The following pages link to Lattices With Involution (Q5635480):
Displayed 50 items.
- 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)
- Left residuated operators induced by posets with a unary operation (Q780122) (← 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)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Semilattices global valuations in the topos approach to quantum mechanics (Q1701676) (← links)
- The Cantor-Bernstein-Schröder theorem via universal algebra. (Q1740494) (← links)
- A non-finitely based quasi-variety of De Morgan algebras (Q1770609) (← links)
- Kleene algebra of partial predicates (Q1796766) (← links)
- On special elements and pseudocomplementation in lattices with antitone involutions (Q1800264) (← 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)
- Four-valued logics of truth, nonfalsity, exact truth, and material equivalence (Q1981990) (← links)
- Varieties of regular pseudocomplemented De Morgan algebras (Q2006981) (← links)
- Computational complexity for bounded distributive lattices with negation (Q2032990) (← links)
- Containment logics: algebraic completeness and axiomatization (Q2062211) (← links)
- A categorial equivalence for semi-Nelson algebras (Q2100454) (← links)
- Algebras of complemented subsets (Q2104273) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- An equational theory for \(\sigma \)-complete orthomodular lattices (Q2156426) (← links)
- On residuation in paraorthomodular lattices (Q2156431) (← links)
- Twist structures and Nelson conuclei (Q2157599) (← links)
- De Morgan functions and free De Morgan algebras. (Q2248023) (← links)
- Existentially closed de Morgan algebras (Q2283061) (← links)