2015
Another proof of the completeness of the Lukasiewicz axioms and of the extensions of Di Nola's Theorem
BOTUR, Michal a Jan PASEKAZákladní údaje
Originální název
Another proof of the completeness of the Lukasiewicz axioms and of the extensions of Di Nola's Theorem
Autoři
BOTUR, Michal (203 Česká republika) a Jan PASEKA (203 Česká republika, garant, domácí)
Vydání
Algebra Universalis, BASEL, Birkhäuser Verlag, 2015, 0002-5240
Další údaje
Jazyk
angličtina
Typ výsledku
Článek v odborném periodiku
Obor
10101 Pure mathematics
Stát vydavatele
Švýcarsko
Utajení
není předmětem státního či obchodního tajemství
Impakt faktor
Impact factor: 0.344
Kód RIV
RIV/00216224:14310/15:00085224
Organizační jednotka
Přírodovědecká fakulta
UT WoS
000355208500005
Klíčová slova anglicky
MV-algebra; ultraproduct; Di Nola's Representation Theorem; Farkas' Lemma
Změněno: 29. 1. 2016 23:35, prof. RNDr. Jan Paseka, CSc.
Anotace
V originále
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.
Návaznosti
| EE2.3.20.0051, projekt VaV |
|