Algebraic Structures Related to Many Valued Logical Systems. Part 1, Heyting Wajsberg Algebras

• Autorzy: Cattaneo G. , Ciucci D. , Giuntini R. , Konig M.
• Języki publikacji: EN

Abstrakty

EN

A bottom-up investigation of algebraic structures corresponding to many valued logical systems is made. Particular attention is given to the unit interval as a prototypical model of these kind of structures. At the top level of our construction, Heyting Wajsberg algebras are defined and studied. The peculiarity of this algebra is the presence of two implications as primitive operators. This characteristic is helpful in the study of abstract rough approximations.

Słowa kluczowe

EN

algebraic structure; Heyting Wajsberg algebras; lattice structure; residuated lattices

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2004
• Tom: Vol. 63, nr 4
• Strony: 331--355
• Opis fizyczny: Bibliogr. 33 poz., rys., tab.

Twórcy

autor

Cattaneo G.

• Dipartimento di Informatica, Sistemistica e Communicazione, Universita degli Studi di Milano-Bicocca, Via Bicocca degli Arcimboldi 8, 20126 Milano, Italy

autor

Ciucci D.

• Dipartimento di Informatica, Sistemistica e Communicazione, Universita degli Studi di Milano-Bicocca, Via Bicocca degli Arcimboldi 8, 20126 Milano, Italy

autor

Giuntini R.

• Dipartimento di Scienze Pedagogiche e Filosofiche, Università di Cagliari, Via Is Mirrionis 1, 09123 Cagliari, Italia

autor

Konig M.

• Dipartimento di Scienze Pedagogiche e Filosofiche, Università di Cagliari, Via Is Mirrionis 1, 09123 Cagliari, Italia

Bibliografia

• [1] Baaz, M.: Infinite-valued G¨odel Logics with 0-1 Projections and Relativizations, GŐDEL96-Logical Foundations of Mathematics, Computer Science and Physics (P. Hájek, Ed.), 6, Springer-Verlag, 1996.
• [2] Birkhoff, G.: Lattice Theory, vol. XXV of American Mathematical Society Colloquium Publication, Third edition, American Mathematical Society, Providence, Rhode Island, 1967.
• [3] Borowski, L., Ed.: Selected works of J. Łukasiewicz, North-Holland, Amsterdam, 1970.
• [4] Cattaneo, G.: Abstract approximation spaces for rough theories, in: Rough Sets in Knowledge Discovery 1 (L. Polkowski, A. Skowron, Eds.), Physica-Verlag, Heidelberg, New York, 1998, 59-98.
• [5] Cattaneo, G., Ciucci, D.: Heyting Wajsberg algebras as an abstract environment linking fuzzy and rough sets, Lecture Notes in Artificial Intelligence, 2475, 2002, 77-84.
• [6] Cattaneo, G., Ciucci, D.: Algebraic structures for rough sets, in: Fuzzy Rough Sets (D. Dubois, J. Gryzmala-Busse, M. Inuiguchi, L. Polkowski, Eds.), vol. 3135 of LNCS - Transactions on Rough Sets, Springer Verlag, 2004, 218-264.
• [7] Cattaneo, G., Ciucci, D.: Algebras for rough sets and fuzzy logics. The Heyting Wajsberg approach, LNCS-Transations on Rough Sets, 2004, Submitted.
• [8] Cattaneo, G., Ciucci, D., Giuntini, R., Konig, M.: Algebraic Structures Related to Many Valued Logical Systems. Part II: Equivalence Among some Widespread Structures, Fundamenta Informaticae, 2004, Accepted.
• [9] Cattaneo, G., Dalla Chiara, M. L., Giuntini, R.: Some Algebraic Structures for Many-Valued Logics, Tatra Mountains Mathematical Publication, 15, 1998, 173-196, Special Issue: Quantum Structures II, Dedicated to Gudrun Kalmbach.
• [10] Cattaneo, G., Marino, G.: Brouwer-Zadeh posets and fuzzy set theory, Proceedings of the 1st Napoli Meeting on Mathematics of Fuzzy Systems (A. Di Nola, A. Ventre, Eds.), Napoli, June 1984.
• [11] Cattaneo, G., Nisticò, G.: Brouwer-Zadeh Posets and Three valued Łukasiewicz posets, Fuzzy Sets Syst., 33, 1989, 165-190.
• [12] Chellas, B. F.: Modal Logic, An Introduction, Cambridge University Press, Cambridge, MA, 1988.
• [13] Cignoli, R.: Injective de Morgan and Kleene Algebras, Proceedings of the American Mathematical Society, 47(2), 1975, 269-278.
• [14] Dunn, J. M.: Relevance logic and entailment, in: Handbook of Philosophical Logic (D. Gabbay, F. Guenther, Eds.), vol. 3, Kluwer, 1986, 117-224.
• [15] Dunn, J. M., Hardegree, G. M.: Algebraic Methods in Philosophical Logic, vol. 41 of Oxford Logic Guides, Clarendon Press, 2001.
• [16] Esteva, F., Godo, L., Hájek, P., Navara, M.: Residuated Fuzzy logics with an involutive negation, Archive for Mathematical Logic, 39, 2000, 103-124.
• [17] Esteva, F., Godo, L., Montagna, F.: The LΠ and LΠ1/2 logics: two complete fuzzy systems joining Łukasiewicz and Product Logics, Archive for Mathematical Logic, 40, 2001, 39-67.
• [18] Goldblatt, R.: Mathematical modal logic: A view of its evolution, J. Applied Logic, 1, 2003, 309-392.
• [19] Hájek, P.: Metamathematics of Fuzzy Logic, Kluwer, Dordrecht, 1998.
• [20] Kalman, J.: Lattices with involution, Transactions of the American Mathematica Society, 87(2), 1958, 485-491.
• [21] Klement, E. P., Mesiar, R., Pap, E.: Triangular Norms, Kluwer Academic, Dordrecht, 2000.
• [22] Monteiro, A.: Axiomes Independants pour les Algebres de Brouwer, Revista de la Uni´on matematica Argentina y de la Asociaci´on Fisica Argentina, 17, 1955, 149-160.
• [23] Monteiro, A.: Sur Les Algèbres de Heyting symétriques, Portugaliae Mathematica, 39, 1980, 1-237.
• [24] Monteiro, A.: Unpublished papers, I, vol. 40 of Notas de Logica Matematica, Universidad Nacional del Sur, Bahia Blanca, 1996.
• [25] Monteiro, A., Monteiro, L.: Algèbres de Stone libres, in: Unpublished papers, I [24].
• [26] Rasiowa, H.: An Algebraic Approach to Non-Classical Logics, North Holland, Amsterdam, 1974.
• [27] Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics, vol. 41 of Monografie Matematyczne, Third edition, Polish Scientific Publishers, Warszawa, 1970.
• [28] Rescher, N.: Many-valued logic, Mc Graw-Hill, New York, 1969.
• [29] Surma, S.: Logical Works, Polish Academy of Sciences, Wroclaw, 1977.
• [30] Turunen, E.: Mathematics Behind Fuzzy Logic, Physica-Verlag, Heidelberg, 1999.
• [31] Wajsberg, M.: Aksjomatyzacja trójwartościowego rachunku zdań [Axiomatization of the three-valued propositional calculus], Comptes Rendus des Séances de la Societé des Sciences et des Lettres de Varsovie, 24, 1931, 126-148, English Translation in [29].
• [32] Wajsberg, M.: Beiträge zum Metaaussagenkalkül I, Monashefte fur Mathematik un Physik, 42, 1935, 221-242, English Translation in [29].
• [33] Ward, M., Dilworth, R.: Residuated Lattices, Transactions of the American Mathematical Society, 45(3), 1939, 335-354.