The MV-algebra of first order Łukasiewicz logic

Rok, strany: 2003, 7 - 22

In this work we begin the study of three prominent questions about Ł ukasiewicz predicate logic: 1) What is the algebraic significance of the ``true'' but unprovable well formed formula? 2) Is there a non-archimedean linearly ordered MV-algebra $A$ for which the completeness theorem holds, that is, a formula is ``true'' on $A$ iff it is provable? 3) What can be said about the structure of the Lindenbaum algebra of the Ł ukasiewicz predicate logic? Question 1) is answered somewhat easily, while 2) remains open; 3) of course, is open-ended.

ISO 690:

Belluce, L., Di Nola, A. 2003. The MV-algebra of first order Łukasiewicz logic. In Tatra Mountains Mathematical Publications, vol. 27, no.3, pp. 7-22. 1210-3195.

APA:

Belluce, L., Di Nola, A. (2003). The MV-algebra of first order Łukasiewicz logic. Tatra Mountains Mathematical Publications, 27(3), 7-22. 1210-3195.