Kleene algebras with implication

DOI10.1007/s00012-017-0433-4zbMath1400.06004OpenAlexW2587493071MaRDI QIDQ2362883

Hernán Javier San Martín, José Luis Castiglioni, Sergio Arturo Celani

Publication date: 14 July 2017

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

Full work available at URL: http://sedici.unlp.edu.ar/handle/10915/103275

zbMATH Keywords

centered Kleene algebrasinvolutive distributive latticeslattices with implication

Mathematics Subject Classification ID

Structure and representation theory of distributive lattices (06D05) Subalgebras, congruence relations (08A30) Finitary algebras (08A62) Categories of algebras (08C05)

Related Items

Tense operators on distributive lattices with implication

Cites Work

• Unnamed Item
• Constructive logic with strong negation is a substructural logic. I
• On some categories of involutive centered residuated lattices
• The class of Kleene algebras satisfying an interpolation property and Nelson algebras
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• On a definition of a variety of monadic \(\ell\)-groups.
• Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
• Constructive Logic with Strong Negation as a Substructural Logic
• Logics Which Are Characterized by Subresiduated Lattices
• Bounded distributive lattices with strict implication
• Lattices With Involution