On Conjectures in t-Norm Based Fuzzy Logics

Francesc Esteva, Itziar García-Honrado, Lluís Godo

Abstract: This paper is a humble homage to Enric Trillas. Following his foundational contributions on models of ordinary reasoning in an algebraic setting, we study here elements of these models, like conjectures and hypothesis, in the logical framework of continuous t-norm based fuzzy logics. We consider notions of consistency, conjecture and hypothesis arising from two natural families of consequence operators definable in these logics, namely the ones corresponding to the so-called truth-preserving and degree-preserving consequence relations. We pay special attention to the particular cases of three prominent fuzzy logics: Gödel, Product and Łukasiewicz logics