Busque entre los 168426 recursos disponibles en el repositorio
Mostrar el registro sencillo del ítem
dc.date.accessioned | 2020-08-27T19:08:42Z | |
dc.date.available | 2020-08-27T19:08:42Z | |
dc.date.issued | 2017-02-10 | |
dc.identifier.uri | http://sedici.unlp.edu.ar/handle/10915/103275 | |
dc.description.abstract | 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. | en |
dc.format.extent | 375-393 | es |
dc.language | en | es |
dc.subject | Centered Kleene algebras | es |
dc.subject | Lattices with implication | es |
dc.subject | Involutive distributive lattices | es |
dc.title | Kleene algebras with implication | en |
dc.type | Articulo | es |
sedici.identifier.uri | https://link.springer.com/article/10.1007/s00012-017-0433-4 | es |
sedici.identifier.other | https://doi.org/10.1007/s00012-017-0433-4 | es |
sedici.identifier.issn | 1420-8911 | es |
sedici.creator.person | Castiglioni, José Luis | es |
sedici.creator.person | Celani, Sergio Arturo | es |
sedici.creator.person | San Martín, Hernán Javier | es |
sedici.subject.materias | Matemática | es |
sedici.description.fulltext | true | es |
mods.originInfo.place | Departamento de Matemática | es |
sedici.subtype | Articulo | es |
sedici.rights.license | Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) | |
sedici.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | |
sedici.description.peerReview | peer-review | es |
sedici.relation.journalTitle | Algebra Universalis | es |
sedici.relation.journalVolumeAndIssue | vol. 77, no. 4 | es |