Algebraic Structures Related to Many Valued Logical Systems. Part I: Heyting Wajsberg Algebras. - Gianpiero Cattaneo; Davide Ciucci; Roberto Giuntini; Martin Konig (Fundam. Informaticae, 2004)

Algebraic Structures Related to Many Valued Logical Systems. Part II: Equivalence Among some Widespread Structures. - Gianpiero Cattaneo; Davide Ciucci; Roberto Giuntini; Martin Konig (Fundam. Informaticae, 2004)