Informace o publikaci
Another proof of the completeness of the Lukasiewicz axioms and of the extensions of Di Nola's Theorem
| Autoři | |
|---|---|
| Rok publikování | 2015 |
| Druh | Článek v odborném periodiku |
| Časopis / Zdroj | Algebra Universalis |
| Fakulta / Pracoviště MU | |
| Citace | |
| Doi | http://dx.doi.org/10.1007/s00012-015-0329-0 |
| Obor | Obecná matematika |
| Klíčová slova | MV-algebra; ultraproduct; Di Nola's Representation Theorem; Farkas' Lemma |
| Popis | The main aim of this paper is twofold. Firstly, to present a new method based on Farkas' Lemma for the rational numbers, showing how to embed any finite partial subalgebra of a linearly ordered MV-algebra into . and then to establish a new proof of the completeness of the Lukasiewicz axioms based on this method. Secondly, to present a purely algebraic proof of Di Nola's Representation Theorem for MV-algebras and to extend his results to the restriction of the standard MV-algebra on the rational numbers. |