Sequenze e alberi: Un'introduzione alla teoria e alle applicazioni del calcolo sequenziale proposizionale

Titolo originale:

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

Contenuto del libro:

Questo testo offre un'introduzione dettagliata alla metodologia e alle applicazioni dei calcoli sequenziali nella logica proposizionale. A differenza di altri testi sulla teoria delle prove, l'enfasi è posta sull'illustrazione dell'uso dei calcoli sequenziali per dimostrare un'ampia gamma di risultati metateorici. La presentazione è elementare e autonoma, con tutti i dettagli tecnici indicati formalmente e spiegati in modo informale. Numerose prove vengono elaborate per dimostrare i metodi di dimostrazione di risultati importanti, come il teorema di eliminazione dei tagli, la completezza, la decidibilità e l'interpolazione. Altre prove sono presentate con parti lasciate come esercizi per i lettori, permettendo loro di praticare le tecniche del calcolo sequenziale.

Dopo una breve introduzione alla logica proposizionale classica, il testo esplora tre varianti del calcolo sequenziale e le loro caratteristiche e applicazioni. I restanti capitoli mostrano come il calcolo sequenziale possa essere esteso, modificato e applicato a logiche non classiche, tra cui logiche modali, intuizionistiche, sottostrutturali e a molti valori.

Sequents and Trees è adatto a studenti di logica laureati e avanzati che seguono corsi sulla teoria delle prove e sulle sue applicazioni alle logiche non classiche. Sarà inoltre di interesse per i ricercatori di informatica e per i filosofi.