Abstract
The notion of monadic three-valued Łukasiewicz algebras was introduced by L. Monteiro ([12], [14]) as a generalization of monadic Boolean algebras. A. Monteiro ([9], [10]) and later L. Monteiro and L. Gonzalez Coppola [17] obtained a method for the construction of a three-valued Łukasiewicz algebra from a monadic Boolea algebra. In this note we give the construction of a monadic three-valued Łukasiewicz algebra from a Boolean algebra B where we have defined two quantification operations ∃ and ∃* such that ∃∀*x=∀*∃x (where ∀*x=-∃*-x). In this case we shall say that ∃ and ∃* commutes. If B is finite and ∃ is an existential quantifier over B, we shall show how to obtain all the existential quantifiers ∃* which commute with ∃.
Taking into account R. Mayet [3] we also construct a monadic three-valued Łukasiewicz algebra from a monadic Boolean algebra B and a monadic ideal I of B.
The most essential results of the present paper will be submitted to the XXXIX Annual Meeting of the Unión Matemática Argentina (October 1989, Rosario, Argentina).
Similar content being viewed by others
References
S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, New York, 1981.
P. Halmos, Algebraic Logic, Chelsea, New York, 1962.
R. Mayet, Algébres trivalentes de Lukasiewicz, anneaux booléiens et anneaux monadiques, Seminaire de Logique Algebrique, II 19 (1969–1970), pp. 1–10. Faculté des Sciences. Université de Lyon.
Gr. C. Moisil, Recherches sur les logiques non chrysippiennes, Annales Scientifiques de l'Université de Jassy 26 (1940), pp. 431–466.
Gr. C. Moisil, Notes sur les logiques non chrysippiennes, Annales Scientifiques de l'Université de Jassy 27 (1941), pp. 86–98.
Gr. C. Moisil, Sur les anneaux de caractéristique 2 au 3 et leurs applications, Bulletin de l'Ecole Polytechnique de Bucarest, 12 (1941), pp. 66–90.
A. Monteiro, Algébres Monadiques. Notas de Lógica Matemática, 7. Instituto de Matemática, Universidad Nacional del Sur, Bahia Blanca, Argentina.
A. Monteiro, Sur la définition des algébres de Lukasiewicz trivalentes, Bulletin Mathématique de la Société des Sciences Mathématiques et Physiques de Roumaine 7(55) (1963), pp. 3–12.
A. Monteiro, Relations between Lukasiewicz three-valued algebras and Monadic Boolean algebras, International Congress for Logic Methodology and Philosophy of Science. Program and Abstract. The Hebrew University, Jerusalem (1964), pp. 16–17.
A. Monteiro, Construction des algébres de Lukasiewicz trivalentes dans les algèbres de Boole monadiques I, Mathematica Japonicae 12, 1 (1967), pp. 1–23.
L. Monteiro, Axiomes indépendants pour algébres de Lukasiewicz trivalentes, Bulletin Mathématique de la Société des Sciences Mathématiques et Physiques de Roumaine 7 (55), 3–4 (1963), pp. 199–202.
L. Monteiro, Algebras de Lukasiewicz monádicas, Revista de la Unión Matemática Argentina 23 (1968), pp. 200.
L. Monteiro, Sur le principe de determination de Moisil dans les algébres de Lukasiewicz trivalentes, Bulletin Mathématique de la Société des Sciences Mathématiques et Physiques de Roumaine 13(61), 4 (1969), pp. 447–448.
L. Monteiro, Algebras de Lukasiewicz trivalentes monádicas, Notas de lógica Matemática 32. Instituto de Matemática, Universidad Nacional del Sur, Bahia Blanca, Argentina.
L. Monteiro, Algébres de Post et de Moisil trivalentes monadiques libres, Logique et Analyse 79 (1977), pp. 329–337.
L. Monteiro, Sur la construction L des algébres de Lukasiewicz trivalentes, Revue Roumaine des Mathématiques Pures et appliqués, Tome XXIII, No. 1 (1978), pp. 77–83.
L. Monteiro and L. Gonzalez Coppola, Sur une construction des algébres de Lukasiewicz trivalentes, Portugaliae Mathematica 23, 3 (1964), pp. 157–167.
D. Ponasse, Anneaux monadiques rationnels. III, Seminaire de Logique Algebrique 1, 12 (1969–1970), pp. 1–11. Faculté des Sciences. Université de Lyon.
J. C. Varlet, Considérations sur les algébres de Lukasiewicz trivalentes, Bulletin de la Société Royale des Sciences de Liège, 9–10 (1969), pp. 462–469.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Monteiro, L., Savini, S. & Sewald, J. Construction of monadic three-valued Łukasiewicz algebras. Stud Logica 50, 473–483 (1991). https://doi.org/10.1007/BF00370683
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370683