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

Gianpiero Cattaneo, Davide Ciucci, Roberto Giuntini, Martin Konig. Algebraic Structures Related to Many Valued Logical Systems. Part I: Heyting Wajsberg Algebras. Fundamenta Informaticae, 63(4):331-355, 2004. [doi]

Abstract

Abstract is missing.