Estructuras de torsión para lógicas paracompletas

Ponente(s): Verónica Borja Macías, Jesús Alejandro Hernández Tello Marcelo E. Coniglio
Las lógicas paracompletas son aquellas que admiten teorías en las que hay fórmulas (cerradas) tales que estas fórmulas y sus negaciones son simultáneamente falsas. En cierto modo estas lógicas rechazan el principio del tercero excluso y se consideran duales a las lógicas paraconsistentes. Por otro lado, las estructuras de torsión (Twist-structures) son un tipo de álgebras construidas sobre el producto cartesiano de un álgebra (usualmente retículos residuados) y cuyas operaciones están definidas en el primer componente como en un producto directo pero de alguna manera están retorcidas en el segundo componente. Han sido empleadas para dar semántica a diversas lógicas no clásicas incluyendo lógicas paraconsistentes, extensiones de lógica intuicionista y lógicas de Nelson entre otras. En esta plática construiremos algunas estructuras de torsión para una familia particular de lógicas paracompletas, las lógicas paracompletas genuinas trivaluadas.