Secuencias y árboles: Una introducción a la teoría y aplicaciones de los cálculos secuenciales proposicionales

Título original:

Sequents and Trees: An Introduction to the Theory and Applications of Propositional Sequent Calculi

Contenido del libro:

Este libro de texto ofrece una introducción detallada a la metodología y las aplicaciones de los cálculos secuenciales en lógica proposicional. A diferencia de otros textos relacionados con la teoría de la demostración, se hace hincapié en ilustrar cómo utilizar los cálculos secuenciales para demostrar una amplia gama de resultados metateóricos. La presentación es elemental y autocontenida, con todos los detalles técnicos tanto formalmente como informalmente explicados. Se trabajan numerosas pruebas para demostrar métodos de demostración de resultados importantes, como el teorema de eliminación de cortes, la completitud, la decidibilidad y la interpolación. Otras pruebas se presentan con partes dejadas como ejercicios para los lectores, permitiéndoles practicar técnicas de cálculo secuencial.

Tras una breve introducción a la lógica proposicional clásica, el texto explora tres variantes del cálculo secuencial y sus características y aplicaciones. Los capítulos restantes muestran cómo los cálculos secuenciales pueden extenderse, modificarse y aplicarse a lógicas no clásicas, incluyendo lógicas modales, intuicionistas, subestructurales y multivaluadas.

Sequents and Trees es adecuado para estudiantes de postgrado y estudiantes avanzados de lógica que cursen teoría de la demostración y su aplicación a lógicas no clásicas. También será de interés para investigadores en informática y filósofos.