Lattices With Involution
From MaRDI portal
Publication:5635480
DOI10.2307/1993112zbMath0228.06003OpenAlexW4253864570MaRDI QIDQ5635480
Publication date: 1958
Full work available at URL: https://doi.org/10.2307/1993112
Related Items
THE LATTICE OF SUPER-BELNAP LOGICS, Boolean elements in Lukasiewicz algebras, I, IN MEMORIAM: J. MICHAEL DUNN, 1941–2021, Characterization of a De Morgan lattice in terms of implication and negation, Real subset sums and posets with an involution, Unnamed Item, Bipolar equations on complete distributive symmetric residuated lattices: the case of a join-irreducible right-hand side, Varieties of K-lattices, Varieties of bounded K-lattices, Extensions of posets with an antitone involution to residuated structures, Tense operators on distributive lattices with implication, Logics of upsets of De Morgan lattices, Subreducts and subvarieties of PBZ *-lattices*, Regular double \(p\)-algebras: a converse to a Katriňák theorem and applications, Unnamed Item, On Kleene algebras, The Square of Opposition in Orthomodular Logic, Unnamed Item, Idempotent residuated structures: Some category equivalences and their applications, SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE, Unnamed Item, Ockham Algebras—An Urquhart Legacy, Unnamed Item, A property of algebraic lattices whose compact elements have complements, Kleene algebras with implication, Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics, A categorical equivalence motivated by Kalman's construction, Kleene algebras are almost universal, Kleene's three-valued logic and process algebra, De Morgan algebras are universal, Reductio ad contradictionem: an algebraic perspective, The class of Kleene algebras satisfying an interpolation property and Nelson algebras, Truth and the liar in De Morgan-valued models, Leon Henkin the Reviewer, Characterization of zigzag De Morgan functions, Principal congruences in de Morgan algebras, Coherent De Morgan algebras, On Ockham algebras: Congruence lattices and subdirectly irreducible algebras, Representation of De Morgan and (semi-)Kleene lattices, Free Modal Pseudocomplemented De Morgan Algebras, An equational theory for \(\sigma \)-complete orthomodular lattices, On residuation in paraorthomodular lattices, Twist structures and Nelson conuclei, Admissibility in De Morgan algebras, Semi-De Morgan algebras, Basic intuitionistic principles in fuzzy set theories and its extensions (a terminological debate on Atanassov IFS), Semisimple varieties of implication zroupoids, Congruence relations on De Morgan algebras, REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS, MV-algebras freely generated by finite Kleene algebras., Semi-Nelson algebras, An algebraic view of super-Belnap logics, Super-De Morgan functions and free De Morgan quasilattices, A category equivalence for odd Sugihara monoids and its applications, Lewis dichotomies in many-valued logics, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), Unitless Frobenius quantales, A deterministic weakening of Belnap-Dunn logic, A method of representing rough sets system determined by quasi orders, Subdirectly irreducible pseudocomplemented De Morgan algebras, Equational characterization for two-valued states in orthomodular quantum systems, Semilattices global valuations in the topos approach to quantum mechanics, Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics, The algebra of conditional logic, Contradictory information: too much of a good thing, Checking Admissibility Using Natural Dualities, Nichtdistributive, modulare Polaritaetsverbaende, Two-valued states on Baer \(^\ast\)-semigroups, The subvariety of commutative residuated lattices represented by twist-products, Subdirectly irreducible algebras with hyperidentities of the variety of De Morgan algebras., On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras, Algebraic Methods for Rough Approximation Spaces by Lattice Interior–Closure Operations, First-Degree Entailment and Structural Reasoning, The Cantor-Bernstein-Schröder theorem via universal algebra., Four-valued logics of truth, nonfalsity, exact truth, and material equivalence, Coproducts of De Morgan algebras, Belnap's logic and conditional composition, A new view of effects in a Hilbert space, On some properties of PBZ\(^*\)-lattices, De Morgan functions and free De Morgan algebras., \(I_ n\)-symmetrical Heyting algebras, Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules, Varieties of regular pseudocomplemented De Morgan algebras, Algebras with modular lattice reducts and simple subdirectly irreducibles, A non-finitely based quasi-variety of De Morgan algebras, Classical relevant logics. II, Cubical Type Theory: a constructive interpretation of the univalence axiom, Existentially closed de Morgan algebras, Computational complexity for bounded distributive lattices with negation, Unification and projectivity in De Morgan and Kleene algebras., A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES, Many worlds and modality in the interpretation of quantum mechanics: An algebraic approach, [https://portal.mardi4nfdi.de/wiki/Publication:3366657 An Algebraic Version of the Cantor-Bernstein-Schr�der Theorem], Kleene algebra of partial predicates, Distributive lattices with an additional unary operation, On special elements and pseudocomplementation in lattices with antitone involutions, On some categories of involutive centered residuated lattices, A functional completeness theorem for De Morgan functions., Homomorphisms of intensionally complemented distributive lattices, Modal-type orthomodular logic, Countably many weakenings of Belnap-Dunn logic, Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms, Injective de Morgan and Kleene Algebras, Lattices with Interior and Closure Operators and Abstract Approximation Spaces, Containment logics: algebraic completeness and axiomatization, Categories of models of \(\mathbf{R}\)-mingle, Ternary Equational Languages, Expansions of semi-Heyting algebras. I: Discriminator varieties, Unnamed Item, On fuzzinesstic measures of entropy on Kleene algebras, Compatibly involutive residuated lattices and the Nelson identity, Unnamed Item, Left residuated operators induced by posets with a unary operation, Distributive lattices with a dual homomorphic operation. II, Distributive Ockham algebras: free algebras and injectivity, Implicational classes of De Morgan lattices, Definitional equivalence and algebraizability of generalized logical systems, A necessary and sufficient condition for a product relation to be total, Enumerating fuzzy switching functions and free Kleene algebras, A categorial equivalence for semi-Nelson algebras, Algebras of complemented subsets, Admissibility via natural dualities, An algebraic study of exactness in partial contexts
Cites Work
