Kleene algebras with implication

Inspired by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras, in this paper we study an equivalence for certain categories whose objects are algebras with implication (H, ∧, ∨, →, 0, 1) which satisfy the following property for every a, b, c ∈ H: if...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Castiglioni, José Luis, Celani, Sergio Arturo, San Martín, Hernán Javier
Formato: Articulo
Lenguaje:Inglés
Publicado: 2017
Materias:
Matemática
Centered Kleene algebras
Lattices with implication
Involutive distributive lattices
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/103275
https://link.springer.com/article/10.1007/s00012-017-0433-4
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-103275
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Matemática
Centered Kleene algebras
Lattices with implication
Involutive distributive lattices
spellingShingle Matemática
Centered Kleene algebras
Lattices with implication
Involutive distributive lattices
Castiglioni, José Luis
Celani, Sergio Arturo
San Martín, Hernán Javier
Kleene algebras with implication
topic_facet Matemática
Centered Kleene algebras
Lattices with implication
Involutive distributive lattices
description Inspired by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras, in this paper we study an equivalence for certain categories whose objects are algebras with implication (H, ∧, ∨, →, 0, 1) which satisfy the following property for every a, b, c ∈ H: if a ≤ b → c, then a ∧ b ≤ c.
format Articulo
Articulo
author Castiglioni, José Luis
Celani, Sergio Arturo
San Martín, Hernán Javier
author_facet Castiglioni, José Luis
Celani, Sergio Arturo
San Martín, Hernán Javier
author_sort Castiglioni, José Luis
title Kleene algebras with implication
title_short Kleene algebras with implication
title_full Kleene algebras with implication
title_fullStr Kleene algebras with implication
title_full_unstemmed Kleene algebras with implication
title_sort kleene algebras with implication
publishDate 2017
url http://sedici.unlp.edu.ar/handle/10915/103275
https://link.springer.com/article/10.1007/s00012-017-0433-4
work_keys_str_mv AT castiglionijoseluis kleenealgebraswithimplication
AT celanisergioarturo kleenealgebraswithimplication
AT sanmartinhernanjavier kleenealgebraswithimplication
bdutipo_str Repositorios
_version_ 1764820441754501122

Ejemplares similares