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

Authors:
Gianpiero Cattaneo;Davide Ciucci;Roberto Giuntini;Martin Konig
Affiliations:
Dipartimento di Informatica Sistemistica e Comunicazione, Università di Milano - Bicocca, Via Bicocca degli Arcimboldi 8, 20126 Milano, Italia;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;Dipartimento di Scienze Pedagogiche e Filosofiche, Università di Cagliari, Via Is Mirrionis 1, 09123 Cagliari, Italia
Venue:
Fundamenta Informaticae
Year:
2004

Citing 5
Cited 6

Heyting Wajsberg Algebras as an Abstract Environment Linking Fuzzy and Rough Sets

TSCTC '02 Proceedings of the Third International Conference on Rough Sets and Current Trends in Computing
Mathematical modal logic: a view of its evolution

Journal of Applied Logic
Algebraic Structures Related to Many Valued Logical Systems. Part II: Equivalence Among some Widespread Structures

Fundamenta Informaticae
Brouwer-Zadeh posets and three-valued Ł ukasiewicz posets

Fuzzy Sets and Systems
Algebraic structures for rough sets

Transactions on Rough Sets II

Algebraic Structures Related to Many Valued Logical Systems. Part II: Equivalence Among some Widespread Structures

Fundamenta Informaticae
On the Axioms of Residuated Structures: Independence, Dependencies and Rough Approximations

Fundamenta Informaticae
A discriminator variety of Gödel algebras with operators arising in quantum computation

Fuzzy Sets and Systems
A Survey on the Algebras of the So---Called Intuitionistic Fuzzy Sets (IFS)

WILF '09 Proceedings of the 8th International Workshop on Fuzzy Logic and Applications
Algebraic models of deviant modal operators based on de Morgan and Kleene lattices

Information Sciences: an International Journal
Orthopairs: A Simple and Widely UsedWay to Model Uncertainty

Fundamenta Informaticae - Advances in Rough Set Theory

Quantified Score

Hi-index	0.00

Visualization

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.