Kleene algebras with implication

DOI10.1007/S00012-017-0433-4zbMATH Open1400.06004OpenAlexW2587493071MaRDI QIDQ2362883FDOQ2362883

Authors: J. L. Castiglioni, Hernán Javier San Martín, Sergio A. 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

Recommendations

• On the relation of negations in Nelson algebras
• On some categories of involutive centered residuated lattices
• scientific article
• 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

zbMATH Keywords

centered Kleene algebrasinvolutive distributive latticeslattices with implication

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (8)

• On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices
• Relational and Kleene-Algebraic Methods in Computer Science
• On the expressive power of Kleene algebra with domain
• Tense operators on distributive lattices with implication
• Kleene algebra with domain
• 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

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)