Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: monoidal t-norm based logic

Sortuj według:

Ogranicz wyniki do:

Analytic Calculi for Monoidal T-norm Based Logic

Baaz M., Ciabattoni A., Montagna F.

Fundamenta Informaticae

2004

Vol. 59, nr 4

315--332

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.