Geometry of Robinson consistency in Łukasiewicz logic (Q2370369): Difference between revisions
From MaRDI portal
Latest revision as of 10:34, 26 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Geometry of Robinson consistency in Łukasiewicz logic |
scientific article |
Statements
Geometry of Robinson consistency in Łukasiewicz logic (English)
0 references
25 June 2007
0 references
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.
0 references
Łukasiewicz logic
0 references
Robinson joint consistency
0 references
MV-algebra
0 references
0 references