Detailed Information on Publication Record
2015
Another proof of the completeness of the Lukasiewicz axioms and of the extensions of Di Nola's Theorem
BOTUR, Michal and Jan PASEKABasic information
Original name
Another proof of the completeness of the Lukasiewicz axioms and of the extensions of Di Nola's Theorem
Authors
BOTUR, Michal (203 Czech Republic) and Jan PASEKA (203 Czech Republic, guarantor, belonging to the institution)
Edition
Algebra Universalis, BASEL, Birkhäuser Verlag, 2015, 0002-5240
Other information
Language
English
Type of outcome
Článek v odborném periodiku
Field of Study
10101 Pure mathematics
Country of publisher
Switzerland
Confidentiality degree
není předmětem státního či obchodního tajemství
Impact factor
Impact factor: 0.344
RIV identification code
RIV/00216224:14310/15:00085224
Organization unit
Faculty of Science
UT WoS
000355208500005
Keywords in English
MV-algebra; ultraproduct; Di Nola's Representation Theorem; Farkas' Lemma
Změněno: 29/1/2016 23:35, prof. RNDr. Jan Paseka, CSc.
Abstract
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.
Links
| EE2.3.20.0051, research and development project |
|