Analytic Calculi for Monoidal T-norm Based Logic

Article type: Research Article

Authors: Baaz, Matthias | Ciabattoni, Agata | Montagna, Franco

Affiliations: Institut für Diskrete Mathematik und Geometrie, Wiedner Hauptstr. 8, A-1040 Vienna, Austria | Dipartimento di Matematica, University of Siena, Italy

Abstract: Monoidal t-norm based logic MTL is the logic of left continuous t-norms. We introduce two analytic calculi for first-order MTL. These are obtained by lifting two sequent calculi for different fragments of this logic to the hypersequent level with subsequent addition of Avron's communication rule. Our calculi enable to prove the mid(hyper)sequent theorem. As corollaries follow Herbrand's theorem for first-order MTL, the decidability of its ∀∃-fragment and admissibility of Skolemization.

Keywords: basic fuzzy logics, monoidal t-norm based logic, hypersequent calculi, mid(hyper)sequent theorem

Journal: Fundamenta Informaticae, vol. 59, no. 4, pp. 315-332, 2004