Recommendations
- 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
- Publication:4505732
- Characterization theorem of lattice implication algebras
Cites work
- scientific article; zbMATH DE number 3604887 (Why is no real title available?)
- 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
- 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
Cited in
(8)- On some categories of involutive centered residuated lattices
- Kleene algebra with domain
- Tense operators on distributive lattices with implication
- On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices
- Kleene algebra of partial predicates
- Relational and Kleene-Algebraic Methods in Computer Science
- On the expressive power of Kleene algebra with domain
- The class of Kleene algebras satisfying an interpolation property and Nelson algebras
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)
