Mathematics – Logic
Scientific paper
2012-04-19
Mathematics
Logic
Scientific paper
The first system of many-valued logic was introduced by J. Lukasiewicz, his motivation was of philosophical nature as he was looking for an interpretation of the concepts of possibility and necessity. Since then, plenty of research has been developed in this area. In 1968, when Gr.C. Moisil came across Zadeh's fuzzy set theory he found the motivation he had been looking for in order to legitimate the introduction and study of infinitely-valued Lukasiewicz algebras, so he defined \theta-valued Lukasiewicz algebras (or LM\theta-algebras, for short) (without negation), where \theta is the order type of a chain. In this article, our main interest is to investigate the principal and Boolean congruences and \theta-congruences on LM\theta-algebras. In order to do this we take into account a topological duality for these algebras obtained in (A.V. Figallo, I. Pascual, A. Ziliani, A Duality for \theta-Valued Lukasiewicz-Moisil Algebras and Aplicattions. J. LMult- Valued Logic & Soft Computing. Vol. 16, pp 303-322. (2010). Furthermore, we prove that the intersection of two principal ?-congruences is a principal one. On the other hand, we show that Boolean congruences are both principal congruences and \theta-congruences. This allowed us to establish necessary and sufficient conditions so that a principal congruence is a Boolean one. Finally, bearing in mind the above results, we characterize the principal and Boolean congruences on n-valued Lukasiewicz algebras without negation when we consider them as LM\theta-algebras in the case that \theta is an integer n, $n\geq 2$.
Figallo Aldo V.
Ziliani Pascual y. I. A.
No associations
LandOfFree
Principal and Boolean congruences on θ-valued Lukasiewicz-Moisil algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Principal and Boolean congruences on θ-valued Lukasiewicz-Moisil algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Principal and Boolean congruences on θ-valued Lukasiewicz-Moisil algebras will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-35094