Geometry of Robinson consistency in Łukasiewicz logic (Q2370369): Difference between revisions

The second author, by using essentially the amalgamation theorem for abelian lattice-ordered groups (with strong unit) due to \textit{K. R. Pierce} [Trans. Am. Math. Soc. 172(1972), 249--260 (1973; Zbl 0259.06017)] and his functor \(A\) [J. Funct. Anal. 65, 15--63 (1986; Zbl 0597.46059)], proved the amalgamation property for MV-algebras [J. Algebra 113, No. 1, 89--109 (1988; Zbl 0658.06010)], which are the algebras of the infinite-valued propositional logic of Łukasiewicz. This result is obtained here with geometric tools, as corollary to the Robinson joint consistency theorem established for the above logic.