Injective de Morgan and Kleene Algebras

DOI10.2307/2039730zbMath0301.06009OpenAlexW4230981728MaRDI QIDQ4056051

Roberto L. O. Cignoli

Publication date: 1975

Full work available at URL: https://doi.org/10.2307/2039730

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05) Other algebras related to logic (03G25) Varieties (08B99)

Related Items

Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives, Non-usual orthocomplementations on partially ordered sets and fuzziness, On injectives in some varieties of Ockham algebras, On Ockham algebras: Congruence lattices and subdirectly irreducible algebras, Bipolar equations on complete distributive symmetric residuated lattices: the case of a join-irreducible right-hand side, Logics of upsets of De Morgan lattices, Algebraic models of deviant modal operators based on De Morgan and Kleene lattices, Discrete duality for 3-valued Łukasiewicz–Moisil algebras, Contradictory information: too much of a good thing, Coproducts of De Morgan algebras, Kleene algebra of partial predicates, The lattice of global sections of sheaves of chains over Boolean spaces, Distributive lattices with an additional unary operation, Injectivity and Boolean powers, Algebraic properties of if-then-else and commutative three-valued tests, Lattices with Interior and Closure Operators and Abstract Approximation Spaces, Brouwer-Zadeh posets and three-valued Łukasiewicz posets, Distributive Ockham algebras: free algebras and injectivity, Unnamed Item, Enumerating fuzzy switching functions and free Kleene algebras

Cites Work

• On constructible falsity in the constructive logic with strong negation
• Sur les algèbres de Lukasiewicz injectives
• Boolean elements in Lukasiewicz algebras, II
• Lattices With Involution
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item