Registro completo de metadatos
Campo DC | Valor | Lengua/Idioma |
---|---|---|
dc.creator | Sagastume, Marta Susana | - |
dc.creator | San Martín, Hernán Javier | - |
dc.date | 2018-01-10T19:01:01Z | - |
dc.date | 2018-01-10T19:01:01Z | - |
dc.date | 2014-10 | - |
dc.date | 2018-01-10T16:51:52Z | - |
dc.date.accessioned | 2019-04-29T15:26:58Z | - |
dc.date.available | 2019-04-29T15:26:58Z | - |
dc.date.issued | 2014-10 | - |
dc.identifier | Sagastume, Marta Susana; San Martín, Hernán Javier; The logic Ł•; Wiley VCH Verlag; Mathematical Logic Quarterly; 60; 6; 10-2014; 375-388 | - |
dc.identifier | 0942-5616 | - |
dc.identifier | http://hdl.handle.net/11336/32869 | - |
dc.identifier | CONICET Digital | - |
dc.identifier | CONICET | - |
dc.identifier.uri | http://rodna.bn.gov.ar:8080/jspui/handle/bnmm/294349 | - |
dc.description | The algebraic category MV•is the image of MV, the category whose objects are the MV-algebras, by theequivalenceK•(cf. [7, 8]). In this paper we define the logic Ł•whose Lindenbaum algebra is an MV•-algebra(object of MV•), and establish a link between Ł•and the infinite valued Łukasiewicz logic Ł. We definecU-operators, that have properties of universal quantifiers, and establish a bijection that maps an MV-algebraendowed with a U-operator (cf. [20–22]) into an MV•-algebra endowed with acU-operator. This map extendsto a functor that is a categorical equivalence. | - |
dc.description | Fil: Sagastume, Marta Susana. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matemáticas; Argentina | - |
dc.description | Fil: 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.format | application/pdf | - |
dc.format | application/pdf | - |
dc.language | eng | - |
dc.publisher | Wiley VCH Verlag | - |
dc.relation | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1002/malq.201200105 | - |
dc.relation | info:eu-repo/semantics/altIdentifier/url/http://onlinelibrary.wiley.com/doi/10.1002/malq.201200105/abstract | - |
dc.rights | info:eu-repo/semantics/restrictedAccess | - |
dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | - |
dc.source | reponame:CONICET Digital (CONICET) | - |
dc.source | instname:Consejo Nacional de Investigaciones Científicas y Técnicas | - |
dc.source | instacron:CONICET | - |
dc.subject | EQUIVALENCIA | - |
dc.subject | MV-ALGEBRAS | - |
dc.subject | LOGICA | - |
dc.subject | CUANTIFICADORES | - |
dc.subject | Matemática Pura | - |
dc.subject | Matemáticas | - |
dc.subject | CIENCIAS NATURALES Y EXACTAS | - |
dc.title | The logic Ł• | - |
dc.type | info:eu-repo/semantics/article | - |
dc.type | info:eu-repo/semantics/publishedVersion | - |
dc.type | info:ar-repo/semantics/articulo | - |
Aparece en las colecciones: | CONICET |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.