Natural Deduction: A Proof-Theoretical Study

Ambos libros son obras de Dag Prawitz que establecen y analizan los fundamentos de la teoría de la prueba, centrándose en la deducción natural.

Este texto también trata sobre la teoría de la demostración, explorando conceptos de validez en la lógica que complementan la entendimiento de la deducción natural.

Al igual que el libro de referencia, aborda la lógica intuicionista y su relación con la prueba, analizando la justificación de las inferencias.

Prawitz profundiza en la inferencia deductiva, tocando ideas sobre los fundamentos que, como en el libro de referencia, son esenciales para entender la deducción natural.

Desarrolla la teoría de la prueba de deducción natural y su conexión con la semántica, alineándose con el enfoque riguroso del libro de referencia.

Formaliza la noción de prueba natural y examina propiedades estructurales de deducciones, manteniendo un enfoque detallado que es característico del trabajo de Prawitz.