Artículo
Geometry of Robinson consistency in Łukasiewicz logic
Fecha de publicación:
06/2007
Editorial:
Elsevier Science
Revista:
Annals Of Pure And Applied Logic
ISSN:
0168-0072
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
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.
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(IMAL)
Articulos de INST.DE MATEMATICA APLICADA "LITORAL"
Articulos de INST.DE MATEMATICA APLICADA "LITORAL"
Citación
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
Compartir
Altmétricas