Another proof of the completeness of the Lukasiewicz axioms and of the extensions of Di Nola's Theorem

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989592%3A15310%2F15%3A33156847" target="_blank" >RIV/61989592:15310/15:33156847 - isvavai.cz</a>
Alternative codes found
RIV/00216224:14310/15:00085224
Result on the web
<a href="http://link.springer.com/article/10.1007%2Fs00012-015-0329-0" target="_blank" >http://link.springer.com/article/10.1007%2Fs00012-015-0329-0</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00012-015-0329-0" target="_blank" >10.1007/s00012-015-0329-0</a>

Result language
angličtina
Original language name
Another proof of the completeness of the Lukasiewicz axioms and of the extensions of Di Nola's Theorem
Original language description
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.
Czech name
—
Czech description
—

Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—

Project
<a href="/en/project/EE2.3.20.0051" target="_blank" >EE2.3.20.0051: Algebraic methods in Quantum Logic</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year
2015
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)