A Proof of Standard Completeness for Esteva and Godo's Logic MTL

Jenei, S., & Montagna, F. (2002). A Proof of Standard Completeness for Esteva and Godo's Logic MTL. Studia Logica, 183-192.

Type

Journal article

Intellectual base

Primary research

Year

2002

DOI

10.1023/a:1015122331293

Link

https://doi.org/10.1023/A:1015122331293

Cited by

1 citation across 1 artifact.

Domain-specific

• Monoidal t-Norm Logic
  • … MTL-algebras decompose through linearly ordered MTL-algebras, and those chains are the bridge to standard $[0,1]$ semantics. Jenei and Montagna prove standard completeness: MTL validity coincides with validity in the commutative residuated structures on $[0,1]$ supplied by left-continuous t-norms and their residua.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:7e8620847fbb · see in the full table