Geometry of Robinson consistency in Łukasiewicz logic

Volver a la Vista simple
dc.conicet.fuenteunificacion
dc.conicet.organizacionConsejo 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
dc.conicet.organizacionUniversità degli Studi di Firenze
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionItalia
dc.conicet.produccionid6738303
dc.contributor.authorBusaniche, Manuela
dc.contributor.authorMundici, Daniele
dc.date.accessioned2019-09-23T12:51:16Z
dc.date.available2019-09-23T12:51:16Z
dc.date.issued2007-06
dc.date.updated2019-09-20T14:16:30Z
dc.description.abstractWe 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.es
dc.description.filFil: 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.filFil: Mundici, Daniele. Università degli Studi di Firenze; Italia
dc.formatapplication/pdfes
dc.identifier.citationBusaniche, Manuela; Mundici, Daniele; Geometry of Robinson consistency in Łukasiewicz logic; Elsevier Science; Annals Of Pure And Applied Logic; 147; 1-2; 6-2007; 1-22es
dc.identifier.institucionalCONICET
dc.identifier.issn0168-0072es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/84081
dc.journal.ciudadAmsterdames
dc.journal.number1-2es
dc.journal.pagination1-22es
dc.journal.paisPaíses Bajoses
dc.journal.titleAnnals Of Pure And Applied Logices
dc.journal.volume147es
dc.language.isoenges
dc.publisherElsevier Sciencees
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1016/j.apal.2006.11.003
dc.rightsinfo:eu-repo/semantics/openAccess*
dc.rights.urihttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/*
dc.subjectŁUkasiewicz&Nbsp;Logices
dc.subjectAmalgamationes
dc.subjectFinite-Valued Logices
dc.subjectFree Mv-Algebraes
dc.subjectInfinite-Valued Logices
dc.subjectKrull Depthes
dc.subjectMcnaughton Functiones
dc.subjectMv-Algebraes
dc.subjectPrime Ideales
dc.subjectRobinson Joint Consistencyes
dc.subjectUnimodular Triangulationes
dc.subject.classificationMatemática Aplicadaes
dc.subject.classificationMatemáticases
dc.subject.classificationCIENCIAS NATURALES Y EXACTASes
dc.titleGeometry of Robinson consistency in Łukasiewicz logices
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.5b705ec7-aa70-43af-b081-e7c98c78a292_A.pdf
Tamaño:
471.73 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Articulos(IMAL)
Volver a la Vista simple