(N + 1) - bounded Wajsberg Algebras with a U-operator

• Autorzy: Lattanzi M.
• Języki publikacji: EN

Abstrakty

EN

Wajsberg algebras are just a reformulation of Chang $MV-$algebras where implication is used instead of disjunction. $MV-$algebras were introduced by Chang to prove the completeness of the infinite-valued {\L}ukasiewicz propositional calculus. Bounded Wajsberg algebras are equivalent to bounded $MV-$algebras. The class of (n+1)-bounded Wajsberg algebras endowed with a $U-$operator, which plays the role of the universal quantifier, is studied. The simple algebras and the subalgebras of the finite simple algebras are characterized. It is proved that this variety of algebras is semisimple and locally finite.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2005
• Tom: Nr 39
• Strony: 89--111
• Opis fizyczny: Bibliogr. 23 poz.

Twórcy

autor

Lattanzi M.

• Facultad de Ciencias Exactas y Naturales, Universidad de La Pampa, Av. Uruguay 151-6300 Santa Rosa-Argentina,

Bibliografia

• [1] M. Abad, Estructuras Cıclica y Monadica de un algebr a de Lukasiewicz n-valente, Notas de Logica Matem´atica 36, Univ. Nac. del Sur., Bahia Blanca, 1988.
• [2] S. Burris and H.P. Sankappanavar, A Course in Universal Algebra, Springer Verlag, New York, 1981.
• [3] C. C. Chang, Algebraic analysis of many valued logics, Transactions of the American Mathematical Society 88 (1958), pp. 467–490.
• [4] C. C. Chang, A new proof of the completeness of the Lukasiewicz axioms, Transactions of the American Mathematical Society 93 (1959), pp. 74–80.
• [5] R. L. O. Cignoli, Quantifiers on distributive lattices, Discrete Math. 96 (1991), pp. 183–197.
• [6] R. L. O. Cignoli, I. M. L. D’Ottaviano and D. Mundici, Algebraic Foundations of Many-vlued Reasoning, Kluwer Academic Publishers, 2000.
• [7] A. V. Figallo, Algebras Implicativas de Lukasiewicz (n + 1)-valuadas con diversas operaciones adicionales, Tesis Doctoral, Univ. Nac. del Sur, 1990.
• [8] A. V. Figallo, Q-operators on implicative Łukasiewicz algebras, Actas del Cuarto Congreso Dr. Antonio Monteiro, Dpto. de Mat. – Inst. de Mat., Univ. Nac. del Sur, 1997, pp. 141–154.
• [9] J. M. Font, A. J. Rodriguez and A. Torrens, Wajsberg algebras, Stochastica 8 (1984) pp. 5–31.
• [10] G. Georgescu, A. Iorgulescu and I. Leustean, Monadic and Closure MV–Algebras, Multiple Valued Logic Vol. 3 (1998), pp. 235–257.
• [11] R. S. Grigolia, Algebraic analysis of Lukasiewicz-Tarski’s n-valued logical systems, in R. W´ojcicki, G. Malinowski (eds.) Selected Papers on Łukasiewicz Sentential Calculi, Ossolineum, Wrocław, 1977, pp. 81–92.
• [12] A. Iorgulescu, Connections between MVn algebras and n-valued Lukasiewicz–Moisil algebras Part II, Discrete Mathematics 202 1–3 (1999), pp. 113–134.
• [13] Y. Komori, The separation theorem of the ℵ0-valued Lukasiewicz propositional logic, Reports of the Faculty of Sciences, Shizuoka University 12 (1978), pp. 1–5.
• [14] M. B. Lattanzi, A note about U- operators on (n + 1)-bounded Wajsberg Algebras, Actas del Quinto Congreso Dr. Antonio Monteiro, Dpto. de Mat. – Inst. de Mat., Univ. Nac. del Sur, 1999, pp. 95–107.
• [15] M. B. Lattanzi, Algebras de Wajsberg (n + 1)-acotadas con operaciones adicionales, Tesis Doctoral, Universidad Nacional del Sur, 2000.
• [16] M. B. Lattanzi, Wajsberg Algebras with a U-operator, to appear.
• [17] L. Monteiro, Algebras de Lukasiewicz trivalentes monadicas, Notas de Logica Matematica 32 Univ. Nac. del Sur, Bahia Blanca, 1974.
• [18] A. J. Rodriguez, Un estudio algebraico de los Calculos Proposicionales de Łukasiewicz, Tesis Doctoral, Univ. de Barcelona, 1980.
• [19] A. J. Rodriguez and A. Torrens, Wajsberg Algebras and Post Algebras, Studia Logica 53 (1994), pp. 1–19.
• [20] D. Schwartz, Theorie der polyadischen MV -algebren endlicher Ordnung, Math. Nachr. 78 (1977), pp. 131–138.
• [21] D. Schwartz, Polyadic MV -algebras, Zeitschrift fur ¨ Math. Logik und Grundlagender Mathematik 26 (1980), pp. 561–564.
• [22] A. Torrens, W-algebras which are Boolean Products of Members of SR1 and CWalgebras,Studia Logica 46 (1987), pp. 264–274.
• [23] A. Torrens, Boolean Products of CW-algebras and pseudo–complementation, Reportson Mathematical Logic 23 (1989), pp. 31–38