Algebraic Structures Related to Many Valued Logical Systems. Part I: Heyting Wajsberg Algebras

Article type: Research Article

Authors: Cattaneo, Gianpiero | Ciucci, Davide | Giuntini, Roberto | Konig, Martin

Affiliations: Dipartimento di Informatica Sistemistica e Comunicazione, Università di Milano – Bicocca, Via Bicocca degli Arcimboldi 8, 20126 Milano, Italia | Dipartimento di Scienze Pedagogiche e Filosofiche, Università di Cagliari, Via Is Mirrionis 1, 09123 Cagliari, Italia

Abstract: 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.

Journal: Fundamenta Informaticae, vol. 63, no. 4, pp. 331-355, 2004