Álgebras MTL

A finales de la década de los 90 del siglo pasado, P. Hájek introduce una nueva lógica, que denomina basic (fuzzy) logic (BL); asimismo introduce una semántica algebraica para esta lógica, la variedad de las álgebras BL. Poco tiempo después, Cignoli, Esteva, Godo y Torrens muestran que BL es la lógi...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Castiglioni, José Luis
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2017
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/142751
https://inmabb.conicet.gob.ar/static/publicaciones/actas/14/04-castiglioni.pdf
Aporte de:
id I19-R120-10915-142751
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Matemática
Lógica
spellingShingle Matemática
Lógica
Castiglioni, José Luis
Álgebras MTL
topic_facet Matemática
Lógica
description A finales de la década de los 90 del siglo pasado, P. Hájek introduce una nueva lógica, que denomina basic (fuzzy) logic (BL); asimismo introduce una semántica algebraica para esta lógica, la variedad de las álgebras BL. Poco tiempo después, Cignoli, Esteva, Godo y Torrens muestran que BL es la lógica de todas las t-normas continuas y sus residuos. Si bien la condición de ser continua para una t-norma es suficiente para la existencia de un residuo, esta condición no es necesaria. Una condición necesaria y suficiente es la continuidad a izquierda. Resulta por tanto natural preguntarse por la lógica de las t-normas continuas a izquierda. Esteva y Godo proponen una nueva lógica: monoidal t-norm based logic (MTL), la cual generaliza en este sentido a BL, y Jenei y Montagna prueban que dicha lógica es en efecto la lógica de las t-normas continuas a izquierda y sus residuos. La variedad de las álgebras MTL es una semántica algebraica equivalente (en el sentido de Blok y Pigozzi) para la lógica MTL. Esta son las notas de un curso breve (4 horas de duración) dictado por el autor en el XIV Congreso Dr. Antonio Monteiro. Las mismas no pretenden ninguna originalidad, sino que ofrecen una introducción razonablemente autocontenida al estudio de las álgebras MTL. Sólo se presume por parte del lector un conocimiento básico de algunos resultados de álgebra universal.
format Objeto de conferencia
Objeto de conferencia
author Castiglioni, José Luis
author_facet Castiglioni, José Luis
author_sort Castiglioni, José Luis
title Álgebras MTL
title_short Álgebras MTL
title_full Álgebras MTL
title_fullStr Álgebras MTL
title_full_unstemmed Álgebras MTL
title_sort álgebras mtl
publishDate 2017
url http://sedici.unlp.edu.ar/handle/10915/142751
https://inmabb.conicet.gob.ar/static/publicaciones/actas/14/04-castiglioni.pdf
work_keys_str_mv AT castiglionijoseluis algebrasmtl
bdutipo_str Repositorios
_version_ 1764820458791763968