Registro completo de metadatos
Campo DC Valor Lengua/Idioma
dc.creatorCastiglioni, José Luis-
dc.creatorErtola Biraben, Rodolfo Cristian-
dc.date2018-06-22T19:20:42Z-
dc.date2018-06-22T19:20:42Z-
dc.date2017-08-
dc.date2018-06-21T14:18:05Z-
dc.date.accessioned2019-04-29T15:35:36Z-
dc.date.available2019-04-29T15:35:36Z-
dc.date.issued2018-06-22T19:20:42Z-
dc.date.issued2018-06-22T19:20:42Z-
dc.date.issued2017-08-
dc.date.issued2018-06-21T14:18:05Z-
dc.identifierCastiglioni, 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.identifier1367-0751-
dc.identifierhttp://hdl.handle.net/11336/49715-
dc.identifierCONICET Digital-
dc.identifierCONICET-
dc.identifier.urihttp://rodna.bn.gov.ar:8080/jspui/handle/bnmm/297370-
dc.descriptionWeinvestigate 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.descriptionFil: 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.descriptionFil: 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.formatapplication/pdf-
dc.formatapplication/pdf-
dc.languageeng-
dc.publisherOxford University Press-
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/https://dx.doi.org/10.1093/jigpal/jzx011-
dc.relationinfo:eu-repo/semantics/altIdentifier/url/https://academic.oup.com/jigpal/article-abstract/25/4/465/3896873-
dc.rightsinfo:eu-repo/semantics/restrictedAccess-
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/-
dc.sourcereponame:CONICET Digital (CONICET)-
dc.sourceinstname:Consejo Nacional de Investigaciones Científicas y Técnicas-
dc.sourceinstacron:CONICET-
dc.subjectMEET-COMPLEMENTED LATTICES-
dc.subjectMODAL OPERATORS-
dc.subjectNECESSITY-
dc.subjectNON-DISTRIBUTIVE LATTICES-
dc.subjectPOSSIBILITY-
dc.subjectUNIVOCALLY DEFINED OPERATIONS-
dc.subjectMatemática Pura-
dc.subjectMatemáticas-
dc.subjectCIENCIAS NATURALES Y EXACTAS-
dc.titleModal operators for meet-complemented lattices-
dc.typeinfo:eu-repo/semantics/article-
dc.typeinfo:eu-repo/semantics/publishedVersion-
dc.typeinfo:ar-repo/semantics/articulo-
Aparece en las colecciones: CONICET

Ficheros en este ítem:
No hay ficheros asociados a este ítem.