Presentación | Participantes | Bibliografía (DML-E) | Bibliografía adicional | Enlaces de interés | Otros proyectos DML | Ayuda  
INICIO | 29 de marzo de 2024
  

Hypersequents and fuzzy logic.

Título inglés Hypersequents and fuzzy logic.
Título español Hipersecuentes y lógica borrosa.
Autor/es Gabbay, Dov ; Metcalfe, George ; Olivetti, Nicola
Organización Dep. Comput. Sci. King's Coll. London, Londres, Reino Unido;Inst. Discr. Math. Geom. Univ. Technol., Viena, Austria;Dep. Comput. Sci. Univ. Torino, Turín, Italia
Revista 1578-7303
Publicación 2004, 98 (1): 113-126, 31 Ref.
Tipo de documento articulo
Idioma Inglés
Resumen español 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 Π.
Resumen inglés 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 Π.
Icono pdf Acceso al artículo completo
Equipo DML-E
Instituto de Ciencias Matemáticas (ICMAT - CSIC)
rmm()icmat.es