The following pages link to Lattices With Involution (Q5635480):
Displaying 50 items.
- 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)
- Countably many weakenings of Belnap-Dunn logic (Q2307298) (← links)
- Categories of models of \(\mathbf{R}\)-mingle (Q2311212) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Admissibility via natural dualities (Q2349950) (← links)
- An algebraic study of exactness in partial contexts (Q2353690) (← links)
- Kleene algebras with implication (Q2362883) (← links)
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics (Q2363497) (← links)
- Admissibility in De Morgan algebras (Q2391905) (← links)
- Semisimple varieties of implication zroupoids (Q2403382) (← links)
- Semi-Nelson algebras (Q2413410) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- A deterministic weakening of Belnap-Dunn logic (Q2422310) (← 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)
- Unitless Frobenius quantales (Q2680596) (← links)
- Ternary Equational Languages (Q2830209) (← links)
- Many worlds and modality in the interpretation of quantum mechanics: An algebraic approach (Q3069140) (← links)
- Characterization of zigzag De Morgan functions (Q3178160) (← links)
- Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations (Q3299867) (← links)
- First-Degree Entailment and Structural Reasoning (Q3305621) (← 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)
- Leon Henkin the Reviewer (Q3454809) (← 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)
- 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)
