Geometry of Robinson joint consistency in Lukasiewicz logic

BUSANICHE, MANUELA; MUNDICI, DANIELE

ANNALS OF PURE AND APPLIED LOGIC

Elseveir

Año: 2006

0168-0072

We establish the Robinson joint consistency theorem for the infinite-valued propositional logic of Lukasiewicz. As a corollary we easily obtain the amalgamation property for MV-algebras—the algebras of Lukasiewicz logic: all pre-existing proofs of this latter result make essential use of Pierce amalgamation theorem for abelian lattice-ordered groups (with strong unit) together with the categorical equivalence between these groups and MValgebras. Our main tools are elementary and geometric.