Hypersequents and fuzzy logic.

Gabbay, Dov ; Metcalfe, George ; Olivetti, Nicola

RACSAM, Tome 98 (2004), p. 113-126 / Harvested from Biblioteca Digital de Matemáticas

Abstract

Fuzzy logics based on t-norms and their residua have been investigated extensively from a semantic perspective but a unifying proof theory for these logics has, until recently, been lacking. In this paper we survey results of the authors and others which show that a suitable proof-theoretic framework for fuzzy logics is provided by hypersequents, a natural generalization of Gentzen-style sequents. In particular we present hypersequent calculi for the logic of left-continuous t-norms MTL and related logics, and for logics based on the three fundamental continuous t-norms, Gödel logic G, Lukasiewicz logic L, and Product logic Π.

Résumé

Aunque se han investigado de forma extensiva las lógicas borrosas basadas en t-normas y sus residuos desde una perspectiva semántica, hasta ahora se carecía de una teoría unificadora de demostración para estas lógicas. En este trabajo se estudian los resultados de los autores y de otros investigadores que muestran que los hipersecuentes, una generalización natural de los secuentes al estilo de Gentzen, proporcionan un marco teórico adecuado para su demostración. En particular, se presentan los cálculos de los hipersecuentes para la lógica de t-normas continuas por la izquierda MTL y otras lógicas relacionadas, así como para las lógicas que se basan en las tres t-normas continuas fundamentales: la lógica de Gödel G, la lógica de Lukasiewicz L y la lógica de Producto Π.

Détail

Publié le : 2004-01-01

Zbl 1070.03012

DMLE-ID : 3601