Now showing items 1-3 of 3

    • Adding truth-constants to logics of continuous t-norms: Axiomatization and completeness results 

      Noguera, Carles; Esteva, Francesc; Gispert, Joan; Godó, Lluís (Elsevier, 2007)
      In this paper we study generic expansions of logics of continuous t-norms with truth-constants, taking advantage of previous results for Łukasiewicz logic and more recent results for Gödel and Product logics. Indeed, we ...
    • On n-contractive fuzzy logics 

      Horcık, Rostislav; Noguera, Carles; Petrık, Milan (Wiley, 2007)
      It is well known that MTL satisfies the finite embeddability property. Thus MTL is complete w. r. t. the class of all finite MTL-chains. In order to reach a deeper understanding of the structure of this class, we consider the ...
    • On triangular norm based axiomatic extensions of the weak nilpotent minimum logic 

      Noguera, Carles; Esteva, Francesc; Gispert, Joan (Wiley, 2008)
      In this paper we carry out an algebraic investigation of the weak nilpotent minimum logic (WNM) and its t-norm based axiomatic extensions. We consider the algebraic counterpart of WNM, the variety of WNM-algebras ([MATHEMATICAL ...