Monoidal t-norm logic

Known as: MTL, MTL (logic), Monoidal t-norm based logic 
Monoidal t-norm based logic (or shortly MTL), the logic of left-continuous t-norms, is one of t-norm fuzzy logics. It belongs to the broader class of… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
In this paper we prove the strong standard completeness of interval-valued monoidal t-norm based logic (IVMTL) and some of its… (More)
  • figure 1
  • table 3
Is this relevant?
2010
2010
A t-norm is a binary operation on [0, 1] that is associative, commutative, with identity 1 and non-decreasing in both argument… (More)
Is this relevant?
2009
2009
We study the computational complexity of some axiomatic extensions of the monoidal t-norm based logic (MTL), namely NM… (More)
Is this relevant?
2007
2007
MTL-algebras are algebraic structures for the Esteva-Godo monoidal tnorm based logic (MTL), a many-valued propositional calculus… (More)
  • figure 1
Is this relevant?
2006
2006
It is known that the monoidal t-norm based logic (MTL) and many of its schematic extensions are decidable. The usual way how to… (More)
Is this relevant?
2005
2005
In this paper we investigate the logic MTL∼ obtained by extending Esteva and Godo’s logic MTL with an involutive negation ∼ not… (More)
Is this relevant?
2003
2003
Monoidal t-norm based logic MTL is the logic of left continuous t-norms. We introduce two analytic calculi for first-order MTL… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
H( ajek’s BL logic is the fuzzy logic capturing the tautologies of continuous t-norms and their residua. In this paper we… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1995
Highly Cited
1995
In this paper, we address the differential representation of the time-domain characteristics of lossy MTLs. This approach is of… (More)
  • figure 1
  • figure 3
  • figure 2
  • figure 5
  • figure 4
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Intuitionistic linear logic regains the expressive power of intuitionistic logic through the ! (`of course') modality. Benton… (More)
Is this relevant?