Lattices With Involution
From MaRDI portal
Cites work
Cited in
(only showing first 100 items - show all)- On some categories of involutive centered residuated lattices
- A necessary and sufficient condition for a product relation to be total
- A property of algebraic lattices whose compact elements have complements
- De Morgan algebras are universal
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- Coherent De Morgan algebras
- Congruence relations on De Morgan algebras
- Subdirectly irreducible pseudocomplemented De Morgan algebras
- Nichtdistributive, modulare Polaritaetsverbaende
- \(I_ n\)-symmetrical Heyting algebras
- Algebras with modular lattice reducts and simple subdirectly irreducibles
- Classical relevant logics. II
- Distributive lattices with an additional unary operation
- Implicational classes of De Morgan lattices
- Definitional equivalence and algebraizability of generalized logical systems
- Truth and the liar in De Morgan-valued models
- An algebraic view of super-Belnap logics
- Semilattices global valuations in the topos approach to quantum mechanics
- The Cantor-Bernstein-Schröder theorem via universal algebra.
- A non-finitely based quasi-variety of De Morgan algebras
- Kleene algebra of partial predicates
- On special elements and pseudocomplementation in lattices with antitone involutions
- On fuzzinesstic measures of entropy on Kleene algebras
- Distributive lattices with a dual homomorphic operation. II
- On Ockham algebras: Congruence lattices and subdirectly irreducible algebras
- Semi-De Morgan algebras
- A category equivalence for odd Sugihara monoids and its applications
- Lewis dichotomies in many-valued logics
- A method of representing rough sets system determined by quasi orders
- Contradictory information: too much of a good thing
- Four-valued logics of truth, nonfalsity, exact truth, and material equivalence
- Varieties of regular pseudocomplemented De Morgan algebras
- Computational complexity for bounded distributive lattices with negation
- Containment logics: algebraic completeness and axiomatization
- A categorial equivalence for semi-Nelson algebras
- Algebras of complemented subsets
- Representation of De Morgan and (semi-)Kleene lattices
- An equational theory for \(\sigma \)-complete orthomodular lattices
- On residuation in paraorthomodular lattices
- Twist structures and Nelson conuclei
- De Morgan functions and free De Morgan algebras.
- Existentially closed de Morgan algebras
- Countably many weakenings of Belnap-Dunn logic
- Categories of models of \(\mathbf{R}\)-mingle
- Compatibly involutive residuated lattices and the Nelson identity
- Admissibility via natural dualities
- An algebraic study of exactness in partial contexts
- Kleene algebras with implication
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics
- Admissibility in De Morgan algebras
- Semisimple varieties of implication zroupoids
- Semi-Nelson algebras
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
- A deterministic weakening of Belnap-Dunn logic
- Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics
- Two-valued states on Baer ^-semigroups
- The subvariety of commutative residuated lattices represented by twist-products
- Belnap's logic and conditional composition
- Unification and projectivity in De Morgan and Kleene algebras.
- Homomorphisms of intensionally complemented distributive lattices
- Unitless Frobenius quantales
- Ternary Equational Languages
- A categorical equivalence motivated by Kalman's construction
- Kleene's three-valued logic and process algebra
- Reductio ad contradictionem: an algebraic perspective
- Many worlds and modality in the interpretation of quantum mechanics: an algebraic approach
- Characterization of zigzag De Morgan functions
- Algebraic methods for rough approximation spaces by lattice interior-closure operations
- First-degree entailment and structural reasoning
- An Algebraic Version of the Cantor-Bernstein-Schr�der Theorem
- Lattices with Interior and Closure Operators and Abstract Approximation Spaces
- Leon Henkin the reviewer
- Modal-type orthomodular logic
- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms
- Kleene algebras are almost universal
- Principal congruences in de Morgan algebras
- MV-algebras freely generated by finite Kleene algebras.
- Distributive Ockham algebras: free algebras and injectivity
- Super-De Morgan functions and free De Morgan quasilattices
- Injective de Morgan and Kleene Algebras
- Coproducts of De Morgan algebras
- Equational characterization for two-valued states in orthomodular quantum systems
- Free modal pseudocomplemented De Morgan algebras
- REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS
- Cubical type theory: a constructive interpretation of the univalence axiom
- Hyperidentities and related concepts. I
- Hyperidentities and related concepts. II
- Checking admissibility using natural dualities
- A logical and algebraic characterization of adjunctions between generalized quasi-varieties
- Subdirectly irreducible algebras with hyperidentities of the variety of De Morgan algebras.
- The square of opposition in orthomodular logic
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE
- Ockham Algebras—An Urquhart Legacy
- IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
- Real subset sums and posets with an involution
- scientific article; zbMATH DE number 7528815 (Why is no real title available?)
- A new view of effects in a Hilbert space
- Modal pseudocomplemented De Morgan algebras
- Idempotent residuated structures: Some category equivalences and their applications
- Boolean elements in Lukasiewicz algebras, I
This page was built for publication: Lattices With Involution
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5635480)
