Download PDFOpen PDF in browserAn elementary proof of the completeness of the Lukasiewicz axioms4 pages•Published: July 28, 2014AbstractThe main aim of this talk is twofold. Firstly, to present an elementarymethod based on Farkas' lemma for rationals how to embed any finite partial subalgebra of a linearly ordered MV-algebra into Q \ [0; 1] and then to establish a new elementary proof of the completeness of the Lukasiewicz axioms for which the MV-algebras community has been looking for a long time. Secondly, to present a direct proof of Di Nola's representation Theorem for MV-algebras and to extend his results to the restriction of the standard MV-algebra on rational numbers. Keyphrases: di nolas representation theorem, farkas lemma, mv algebra, ultraproduct In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 35-38.
|