Abstract
The infinite-valued logic of Łukasiewicz was originally defined by means of an infinite-valued matrix. Łukasiewicz took special forms of negation and implication as basic connectives and proposed an axiom system that he conjectured would be sufficient to derive the valid formulas of the logic; this was eventually verified by M. Wajsberg. The algebraic counterparts of this logic have become know as Wajsberg algebras. In this paper we show that a Wajsberg algebra is complete and atomic (as a lattice) if and only if it is a direct product of finite Wajsberg chains. The classical characterization of complete and atomic Boolean algebras as fields of sets is a particular case of this result.
Similar content being viewed by others
References
L. P. Belluce, Semisimple algebras of infinite valued logic, Canadian Journal of Mathematics 38 (1986), pp. 1356–1379.
G. Birkhoff, Lattice Theory, 3rd. edition, American Mathematical Society, Providence, R. L., 1967.
C. C. Chang, Algebraic analysis of many-valued logics, Transactions of the American Mathematical Society 88 (1958), pp. 467–490.
C. C. Chang, A new proof of the completeness of the Łukasiewicz axioms, Transactions of the American Mathematical Society 93 (1959), pp. 74–80.
J. M. Font, A. J. Rodriguez and A. Torrens, Wajsberg algebras, Stochastica 8 (1984), pp. 5–31.
K. Iseki and S. Tanaka, An introduction to the theory of BCK-algebras, Mathematica Japonica 23 (1978), pp. 1–26.
Y. Komori, The separation theorem of the ℵ0-valued Łukasiewicz propositional logic, Reports of the Faculty of Sciences, Shizuoka University 12 (1978), pp. 1–5.
Y. Komori, Super Łukasiewicz propositional logics, Nagoya Mathematical Journal 84 (1981), pp. 119–133.
F. Lacava, Alcune proprietá delle Ł-algebre e delle Ł-algebre esistenzialmente chiuse, Bolletino Unione Matemtica Italiana A(5), 16 (1979), pp. 360–366.
P. Mangani, Su certe algebre connesse con logiche a piú valori, Bolletino Unione Matematica Italiana (4) 8 (1973), pp. 68–78.
A. Monteiro, Sur les algèbres de Heyting simétriques, Portugalia Mathematica 39 (1984), pp. 1–237.
D. Mundici, Interpretation of AFC *-algebras in Łukasiewicz sentential calculus, Journal of Functional Analysis 65 (1985), pp. 15–63.
D. Mundici, MV-algebras are categorically equivalent to bounded commutative BCK-algebras, Mathematica Japonica 31 (1986), pp. 889–894.
A. J. Rodríguez, Un estudio algebraico de los cálculos proposicionales de Łukasiewicz, Tesis Doctoral, Universidad de Barcelona, 1980.
A. Romanowska and T. Traczyk, On commutative BCK-algebras, Mathematica Japonica 25 (1980), pp. 567–583.
A. Romanowska and T. Traczyk, Commutative BCK-algebras. Subdirectly irreducible algebras and varieties, Mathematica Japonica 27 (1982), pp. 35–48.
A. Tarski, Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1950.
A. Torrens, W-algebras which are Boolean products of members of SR[1] and CW-algebras, Studia Logica 46 (1987), pp. 263–272.
A. Torrens, Boolean products of CW-algebras and pseudo-commplementation, Reports on Mathematical Logic 23 (1989), pp. 31–38.
T. Traczyk, On the variety of bounded commutative BCK-algebras, Mathematica Japonica 24 (1979), pp. 238–292.
Author information
Authors and Affiliations
Additional information
This research was partially supported by the Consejo Nacional Investigaciones Científicas y Técnicas de la República Argentina (CONICET).
Rights and permissions
About this article
Cite this article
Cignoli, R. Complete and atomic algebras of the infinite valued Łukasiewicz logic. Stud Logica 50, 375–384 (1991). https://doi.org/10.1007/BF00370678
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370678