Lógica e implicación: Una introducción al estudio algebraico general de las lógicas no clásicas

Título original:

Logic and Implication: An Introduction to the General Algebraic Study of Non-Classical Logics

Contenido del libro:

Esta monografía presenta una teoría general de las lógicas débilmente implicativas, una familia que abarca un vasto número de lógicas no clásicas estudiadas en la literatura, concentrándose principalmente en el estudio abstracto de la relación entre las lógicas y su semántica algebraica. También puede servir como introducción a la lógica algebraica (abstracta), tanto proposicional como de primer orden, con especial atención al papel de la implicación, las conectivas reticulares y residuadas, y las disyunciones generalizadas.

Basándose en sus trabajos recientes, los autores desarrollan un potente marco uniforme para el estudio de las lógicas no clásicas. En un estilo autocontenido y didáctico, partiendo de nociones muy elementales, construyen una teoría general con un número considerable de resultados abstractos.

La teoría se aplica luego para obtener numerosos resultados para familias prominentes de lógicas y sus contrapartes algebraicas, en particular para lógicas superintuicionistas, modales, subestructurales, difusas y relevantes. El libro puede ser de interés para un amplio público, especialmente estudiantes y académicos de matemáticas, filosofía, informática o áreas afines, que busquen una introducción a una teoría general de las lógicas no clásicas y su semántica algebraica.