Abstract
We introduce Łukasiewicz-Moisil relation algebras, obtained by considering a relational dimension over Łukasiewicz-Moisil algebras. We prove some arithmetical properties, provide a characterization in terms of complex algebras, study the connection with relational Post algebras and characterize the simple structures and the matrix relation algebras.
Similar content being viewed by others
References
El Bachraoui, M., and M. Van de Vel, ‘Matrix relation algebras’, Algebra Universalis 48 (2002), 273-299.
El Bachraoui, M., and M. Van de Vel, ‘Degree of matrix relation algebras’, Algebra Universalis 48 (2002), 301–308.
Birkhoff, G., Lattice Theory, Third Edition, Amer. Math. Coc. Colloq. Publ. Providence, vol. 25.
Boicescu, V., A. Filipoiu, G. Georgescu, and S. Rudeanu, _Lukasiewicz-Moisil algebras, North-Holland, 1991.
Chang, C.C., ‘Algebraic analysis of many valued logics’, Trans. A.M.S. 88 (1958), 467–490.
Chin, L.H., and A. Tarski, Distributive and modular laws in the arithmetic of relation algebras, Univ. California Pub. Math., New Series, Vol. 1, No. 9, 1951, pp. 341- 384
Cignoli, R., ‘Moisil algebras’, Notas de Logica Matematica, Inst. Mat., Univ. Nacional del Sur, Bahia-Blanca, No. 27.
Cignoli, R., ‘Proper n-valued _Lukasiewicz algebras as S-algebras of _Lukasiewicz n-valued propositional calculi’, Studia Logica 41 (1982), 3–16.
Cignoli, R., n-Valued Connectives, The Proceedings of the Fourth International Symposium on Economic Informatics, Bucharest, Romania (1999), pp. 961–968.
Epstein, G., and A. Horn, ‘The lattice theory of Post algebras’, Trans. Amer. Math. Soc. 90 (1960), 300–317.
Furusawa, H., Algebraic Formalizations of Fuzzy Relations and Their Representation Theorems, Ph.D. thesis, Department of Informatics, Kyushu University, Japan, March 1998.
Georgescu, G., and C. Vraciu, ‘On the characterization of centered _Lukasiwicz algebras’, J. Algebra 16 (1970), 486–495.
Grigolia, R. S., ‘Algebraic Analysis of _Lukasiewicz-Tarski logical systems’, in R. Wojcicki and G. Malinkowski, (eds.), Selected Papers on _Lukasiewicz Sentential Calculi, Osolineum, Wroc_law, 1997, pp. 81–92.
H“ajek, P., Metamathematics of fuzzy logic, Kluwer Academic Publishers, Dordrecht, 1998.
Hirsch, R., and I. Hodkinson, Relation Algebras by Games, North-Holland, 2002.
Iorgulescu, A., ‘Connections between MV n algebras and n-valued Lukasiewicz- Moisil algebras Part IV’, Journal of Universal Computer Science 6, No.I (2000), 139–154.
Jönsson, B., and A. Tarski, ‘Representation problems for relation algebras’, Bull. Amer. Math. Soc. 54 (1948), 79–80.
Jönsson, B., and A. Tarski, ‘Boolean Algebras with Operators, part i’, American Journal of Mathematics 73 (1951), 891–939.
Jönsson, B., and A. Tarski, ‘Boolean Algebras with Operators, part ii’, American Journal of Mathematics 74 (1952), 127–162.
Maddux, R., ‘Some suficient conditions for the representability of relation algebras’, Algebra Universalis 8 (1978), 162-172.
Maddux, R., Topics in relation algebras, Ph.D. thesis, University of California, Berkeley, 1978.
Maddux, R., ‘Nonfinite axiomatizability results for cylindric and relation algebras’, The Journal of Symbolic Logic, 54 (3) (September, 1989), 951-974.
Maddux, R., Some varieties containing relation algebras, Trans. Amer. Math. Soc., Vol. 272, No. 2, August 1982.
Maddux, R., Relation Algebras, book draft.
Maddux, R., A. Tarski, ‘A suficient condition for the representability of relation algebras’, Notices of the American Mathematical Society 23 (1976), A-447, Reprinted in A. Tarski, Collected Papers (4 volumes), Birkhauser-Verlag.
Moisil, Gr. C., ‘Recherches sur les logiques non-chrysippiennes’, Ann. Sci. Univ. Jassy, 26 (1940), 431–466, 139–175, 195–232.
Moisil, Gr. C., ‘Notes sur les logique non-chrysippiennes’, Ann. Sci. Univ. Jassy, 27 (1941), 86-98, 176-185, 233-243.
Moisil, Gr. C., ‘Old and New essays on non-classical logics’ (Romanian), (ed.), Ştiinţificâa, Bucharest, 1965.
Moisil, Gr. C., Essai sur les logiques non-chrysippiennes, (ed.), Academiei, Bucharest, 1972.
Moisil, Gr. C., Lectures on the logic of fuzzy reasoning, (ed.), Sütiintüificùa, Bucharest, 1975.
Leusütean, I., A unifying framework for _Lukasiewicz-Moisil algebras, MV-algebras and Post algebras, draft.
Popescu, A., ‘Fuzzy Relation Algebras’, To appear in Algebra Universalis.
Popescu, A., ‘Some algebraic theory for many-valued relation algebras’, Submitted.
Rosenbloom, P.C., ‘Post algebras I - postulates and general theory’, Amer. J. Math. 64 (1942), 167–188.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Popescu, A. Łukasiewicz-Moisil Relation Algebras. Stud Logica 81, 167–189 (2005). https://doi.org/10.1007/s11225-005-3703-7
Received:
Issue Date:
DOI: https://doi.org/10.1007/s11225-005-3703-7