Sequents and Trees: O introducere în teoria și aplicațiile calculului secvențial propozițional

Titlul original:

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

Conținutul cărții:

Acest manual oferă o introducere detaliată în metodologia și aplicațiile calculelor secvențiale în logica propozițională. Spre deosebire de alte texte care se ocupă cu teoria dovezilor, accentul este pus pe ilustrarea modului de utilizare a calculelor secvențiale pentru a demonstra o gamă largă de rezultate metateoretice. Prezentarea este elementară și de sine stătătoare, cu toate detaliile tehnice atât enunțate formal, cât și explicate informal. Numeroase dovezi sunt elaborate pentru a demonstra metode de demonstrare a unor rezultate importante, cum ar fi teorema eliminării tăieturilor, completitudinea, decidabilitatea și interpolarea. Alte demonstrații sunt prezentate cu porțiuni lăsate ca exerciții pentru cititori, permițându-le să exerseze tehnici de calcul al secvențelor.

După o scurtă introducere în logica propozițională clasică, textul explorează trei variante ale calculului secvențial și caracteristicile și aplicațiile lor. Capitolele rămase arată apoi cum calculul secvențial poate fi extins, modificat și aplicat logicii non-clasice, inclusiv logicii modale, intuiționiste, substructurale și cu multe valori.

Sequents and Trees este potrivită pentru studenții absolvenți și studenți avansați în logică care urmează cursuri privind teoria dovezilor și aplicarea acesteia la logici non-clasice. Va fi, de asemenea, de interes pentru cercetătorii din domeniul informaticii și pentru filosofi.