# Monoidal t-norm logic

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2012

2012

- Inf. Sci.
- 2012

In this paper we prove the strong standard completeness of interval-valued monoidal t-norm based logic (IVMTL) and some of its… (More)

Is this relevant?

2010

2010

- Multiple-Valued Logic and Soft Computing
- 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

- Soft Comput.
- 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

- J. UCS
- 2007

MTL-algebras are algebraic structures for the Esteva-Godo monoidal tnorm based logic (MTL), a many-valued propositional calculus… (More)

Is this relevant?

2006

2006

- Logic Journal of the IGPL
- 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

- EUSFLAT Conf.
- 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

- Fundam. Inform.
- 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

- Fuzzy Sets and Systems
- 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)

Is this relevant?

Highly Cited

1995

Highly Cited

1995

- ISCAS
- 1995

In this paper, we address the differential representation of the time-domain characteristics of lossy MTLs. This approach is of… (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- CSL
- 1994

Intuitionistic linear logic regains the expressive power of intuitionistic logic through the ! (`of course') modality. Benton… (More)

Is this relevant?