Kleene algebras with implication

Volver a la Vista simple
dc.conicet.fuenteindividual
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas
dc.conicet.organizacionUniversidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas
dc.conicet.organizacionUniversidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas. Departamento de Matemática
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas
dc.conicet.organizacionUniversidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.produccionid6668197
dc.contributor.authorCastiglioni, José Luis
dc.contributor.authorCelani, Sergio Arturo
dc.contributor.authorSan Martín, Hernán Javier
dc.date.accessioned2018-08-22T16:28:56Z
dc.date.available2018-08-22T16:28:56Z
dc.date.issued2017-07
dc.date.updated2018-08-21T18:38:46Z
dc.description.abstractInspired 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 .es
dc.description.filFil: Castiglioni, José Luis. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina
dc.description.filFil: Celani, Sergio Arturo. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas. Departamento de Matemática; Argentina
dc.description.filFil: San Martín, Hernán Javier. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina
dc.formatapplication/pdfes
dc.identifier.citationCastiglioni, José Luis; Celani, Sergio Arturo; San Martín, Hernán Javier; Kleene algebras with implication; Springer; Algebra Universalis; 77; 4; 7-2017; 375-393es
dc.identifier.eissn1420-8911es
dc.identifier.institucionalCONICET
dc.identifier.issn0002-5240es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/56549
dc.journal.ciudadBerlines
dc.journal.number4es
dc.journal.pagination375-393es
dc.journal.paisAlemaniaes
dc.journal.titleAlgebra Universalises
dc.journal.volume77es
dc.language.isoenges
dc.publisherSpringeres
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s00012-017-0433-4
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007%2Fs00012-017-0433-4
dc.rightsinfo:eu-repo/semantics/openAccess*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/*
dc.subjectCentered Kleene Algebrases
dc.subjectInvolutive Distributive Latticeses
dc.subjectLattices with Implicationes
dc.subject.classificationMatemática Puraes
dc.subject.classificationMatemáticases
dc.subject.classificationCIENCIAS NATURALES Y EXACTASes
dc.titleKleene algebras with implicationes
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion

Archivos

Bloque original

Miniatura
Nombre:
CONICET_Digital_Nro.3ab29a4e-9301-4a99-89c8-52869bbfe215_A.pdf
Tamaño:
677.78 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Articulos(CCT - LA PLATA)
Volver a la Vista simple