zbMATH — the first resource for mathematics

Analytic calculi for monoidal t-norm based logic. (English) Zbl 1057.03019
Monoidal t-norm based logic MTL is the logic of left continuous t-norms. For first-order MTL two analytic calculi are described. Using Herbrand’s theorem, the authors prove the decidability of the \(\forall\exists\)-fragment of MTL\(\forall\) and reverse Skolemization for MTL\(\forall\).

03B52 Fuzzy logic; logic of vagueness
PDF BibTeX Cite