Mostrar el registro sencillo del ítem
dc.contributor.author
Busaniche, Manuela
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Mundici, Daniele
dc.date.available
2019-09-23T12:51:16Z
dc.date.issued
2007-06
dc.identifier.citation
Busaniche, Manuela; Mundici, Daniele; Geometry of Robinson consistency in Łukasiewicz logic; Elsevier Science; Annals Of Pure And Applied Logic; 147; 1-2; 6-2007; 1-22
dc.identifier.issn
0168-0072
dc.identifier.uri
http://hdl.handle.net/11336/84081
dc.description.abstract
We establish the Robinson joint consistency theorem for the infinite-valued propositional logic of Łukasiewicz. As a corollary we easily obtain the amalgamation property for MV-algebras-the algebras of Łukasiewicz logic: all pre-existing proofs of this latter result make essential use of the Pierce amalgamation theorem for abelian lattice-ordered groups (with strong unit) together with the categorical equivalence Γ between these groups and MV-algebras. Our main tools are elementary and geometric.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Elsevier Science
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
ŁUkasiewicz&Nbsp;Logic
dc.subject
Amalgamation
dc.subject
Finite-Valued Logic
dc.subject
Free Mv-Algebra
dc.subject
Infinite-Valued Logic
dc.subject
Krull Depth
dc.subject
Mcnaughton Function
dc.subject
Mv-Algebra
dc.subject
Prime Ideal
dc.subject
Robinson Joint Consistency
dc.subject
Unimodular Triangulation
dc.subject.classification
Matemática Aplicada
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Matemáticas
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.title
Geometry of Robinson consistency in Łukasiewicz logic
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
2019-09-20T14:16:30Z
dc.journal.volume
147
dc.journal.number
1-2
dc.journal.pagination
1-22
dc.journal.pais
Países Bajos
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.journal.ciudad
Amsterdam
dc.description.fil
Fil: Busaniche, Manuela. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Santa Fe. Instituto de Matemática Aplicada del Litoral. Universidad Nacional del Litoral. Instituto de Matemática Aplicada del Litoral; Argentina
dc.description.fil
Fil: Mundici, Daniele. Università degli Studi di Firenze; Italia
dc.journal.title
Annals Of Pure And Applied Logic
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.apal.2006.11.003
Archivos asociados