Kleene algebras with implication
The authors study the class of algebras \((H,\wedge,\vee,\to,0,1)\) where the reduct \((H,\wedge,\vee,0,1)\) is a bounded distributive lattice and the operation \(\to\) satisfies natural conditions known in implication algebras. If moreover, the conditions \(a\wedge(a\to b)\leq b\) and \(a\to a = 1\) are satisfied for all \(a,b\) in \(H\), then this algebra is called a \(\mathrm{DLI}^+_1\)-algebra and by \(\mathrm{DLI}^+_1\) the variety of \(\mathrm{DLI}^+_1\)-algebras is denoted. Further, they investigate the category \(\mathrm{KLI}\) whose objects are centered Kleene algebras with involution. In [Trans. Am. Math. Soc. 87, 485--491 (1958; Zbl 0228.06003)], \textit{J. A. Kalman} constructed a functor \(K\) which assigns to every Kleene algebra \(A\) the so-called centered Kleene algebra \(K(A)\), i.e. \(K(A)\) contains an element \(c\) which coincides with its negation. Using this construction for algebras from \(\mathrm{DLI}^+_1\), the authors show the categorical equivalence between \(\mathrm{DLI}^+_1\) and a subcategory of \(\mathrm{KLI}\). Other subcategories of \(\mathrm{KLI}\) (named \(\mathrm{RWH}\), \(\mathrm{SRL}\)) are investigated and the categorical equivalence as well as the corresponding functors and their possible right adjoints are described.
- On the relation of negations in Nelson algebras
- On some categories of involutive centered residuated lattices
- scientific article; zbMATH DE number 4210141
- Tense operators on distributive lattices with implication
- scientific article; zbMATH DE number 856945
- On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- scientific article; zbMATH DE number 1786598
- scientific article; zbMATH DE number 1512101
- Characterization theorem of lattice implication algebras
- Bounded distributive lattices with strict implication
- Constructive logic with strong negation as a substructural logic
- Constructive logic with strong negation is a substructural logic. I
- Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
- scientific article; zbMATH DE number 3604887 (Why is no real title available?)
- Lattices With Involution
- Logics Which Are Characterized by Subresiduated Lattices
- Notes on \(\eta\)-lattices and constructive logic with strong negation
- On a definition of a variety of monadic \(\ell\)-groups.
- On some categories of involutive centered residuated lattices
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- On some categories of involutive centered residuated lattices
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
- Kleene algebra of partial predicates
- Kleene algebra with domain
- On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices
- Relational and Kleene-Algebraic Methods in Computer Science
- Tense operators on distributive lattices with implication
- Hyper swap structures and Kalman functors: the case study of da Costa logic C_
- An alternative definition of tense operators on residuated lattices
- Subresiduated Nelson algebras
- Heyting algebras with Kalman-Galois connections
- On the expressive power of Kleene algebra with domain
This page was built for publication: Kleene algebras with implication
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2362883)
