Mostrar el registro sencillo del ítem
dc.contributor.author
Castiglioni, José Luis
dc.contributor.author
Ertola Biraben, Rodolfo Cristian
dc.date.available
2018-06-22T19:20:42Z
dc.date.issued
2017-08
dc.identifier.citation
Castiglioni, José Luis; Ertola Biraben, Rodolfo Cristian; Modal operators for meet-complemented lattices; Oxford University Press; Logic Journal of the IGPL (print); 25; 4; 8-2017; 465-495
dc.identifier.issn
1367-0751
dc.identifier.uri
http://hdl.handle.net/11336/49715
dc.description.abstract
Weinvestigate some modal operators of necessity and possibility that form an adjoint pair in the context of meet-complemented lattices. We prove that they form an equational class and we study the modalities, i.e. the finite sequences of unary operators. We proceed in stages, first considering the not necessarily distributive case and also considering the case with the algebraic version of the 4 axiom in modal logic. We compare our operators with other operators in the literature, to wit, the maximum Boolean below and operations defined using the dual of the meet-complement.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Oxford University Press
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
Meet-Complemented Lattices
dc.subject
Modal Operators
dc.subject
Necessity
dc.subject
Non-Distributive Lattices
dc.subject
Possibility
dc.subject
Univocally Defined Operations
dc.subject.classification
Matemática Pura
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
Modal operators for meet-complemented lattices
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2018-06-21T14:18:05Z
dc.journal.volume
25
dc.journal.number
4
dc.journal.pagination
465-495
dc.journal.pais
Reino Unido
dc.journal.ciudad
Oxford
dc.description.fil
Fil: 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. Cidade Universitária; Brasil
dc.description.fil
Fil: Ertola Biraben, Rodolfo Cristian. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina. Cidade Universitária; Brasil
dc.journal.title
Logic Journal of the IGPL (print)
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://dx.doi.org/10.1093/jigpal/jzx011
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://academic.oup.com/jigpal/article-abstract/25/4/465/3896873
Archivos asociados