The class of Kleene algebras satisfying an interpolation property and Nelson algebras

DOI10.1007/BF01230621zbMath0621.06009MaRDI QIDQ1090350

Roberto L. O. Cignoli

Publication date: 1986

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

equivalenceBoolean algebrascongruence latticesadjunctionsubdirectly irreducibleNelson algebrasinterpolation propertyStone algebrasDe Morgan algebrascategory of Heyting algebrascentered Kleene algebrasinjective Nelson algebrasLukasiewicz algebras

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Categories of algebras (08C05)

Related Items

Kleene algebras with implication, Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics, A topological duality for some lattice ordered algebraic structures including \(\ell\)-groups, A categorical equivalence motivated by Kalman's construction, Negation and Implication in Quasi-Nelson Logic, Representation of De Morgan and (semi-)Kleene lattices, A duality for two-sorted lattices, Twist structures and Nelson conuclei, Axiomatic extensions of the constructive logic with strong negation and the disjunction property, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Involutive right-residuated l-groupoids, The logic Ł^•, REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS, Information completeness in Nelson algebras of rough sets induced by quasiorders, A modal theorem-preserving translation of a class of three-valued logics of incomplete information, Diagrammatic duality, Monteiro's algebraic notion of maximal consistent theory for Tarskian logics, Fragments of quasi-Nelson: residuation, Tense operators on distributive lattices with implication, On categorical equivalence of weak monadic residuated distributive lattices and weak monadic c-differential residuated distributive lattices, A method of representing rough sets system determined by quasi orders, Representation of Nelson algebras by rough sets determined by quasiorders, The subvariety of commutative residuated lattices represented by twist-products, Constructive logic with strong negation is a substructural logic. I, Rough sets determined by tolerances, A map of dependencies among three-valued logics, Defining rough sets as core-support pairs of three-valued functions, On some properties of PBZ\(^*\)-lattices, Quasi-discriminator varieties, Priestley duality for paraconsistent Nelson's logic, On a definition of a variety of monadic \(\ell\)-groups., A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES, Constructive logic with strong negation is a substructural logic. II, On some categories of involutive centered residuated lattices, Nelson algebras through Heyting ones. I, Ternary Equational Languages, Compatibly involutive residuated lattices and the Nelson identity, Rough \(L\)-fuzzy sets: their representation and related structures, SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC QCIORE, An algebraic study of exactness in partial contexts

Cites Work

• Distributive lattices with a dual homomorphic operation
• Coproducts in the categories of Kleene and three-valued Lukasiewicz algebras
• The lattice structure of some Lukasiewicz algebras
• An algebraic approach to non-classical logics
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Equational characterization of Nelson algebra
• N-lattices and constructive logic with strong negation
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Stone lattices: a topological approach
• THE CONSTRUCTION OF SPACES DUAL TO PSEUDOCOMPLEMENTED DISTRIBUTIVE LATTICES
• Coproducts of De Morgan algebras
• Caracterisation des algèbres de Nelson par des egalités, I
• Boolean elements in Lukasiewicz algebras, I
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Lattices With Involution
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item