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

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 3
Cited 5

BZMVdM algebras and stonian MV—algebras (applications to fuzzy sets and rough approximations)

Fuzzy Sets and Systems
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
Algebraic Structures Related to Many Valued Logical Systems. Part I: Heyting Wajsberg Algebras

Fundamenta Informaticae

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

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
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

Several algebraic structures (namely HW, BZMV dM, Stonean MV and MV Δ algebras) related to many valued logical systems are considered and their equivalence is proved. Four propositional calculi whose Lindenbaum-Tarski algebra corresponds to the four equivalent algebraic structures are axiomatized and their semantical completeness is given.