Sorozatok és fák: Bevezetés a propozicionális szekvencia-számítások elméletébe és alkalmazásaiba

Eredeti címe:

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

Könyv tartalma:

Ez a tankönyv részletes bevezetést nyújt a szekvenciális kalkulusok módszertanába és alkalmazásaiba az állítólagos logikában. A bizonyításelmélettel foglalkozó más szövegektől eltérően a hangsúlyt annak bemutatására helyezi, hogyan lehet a szekvenciakalkulákat metateoretikus eredmények széles körének bizonyítására használni. Az előadás elemi és önálló, minden technikai részletet mind formálisan megfogalmaz, mind pedig informálisan elmagyaráz. Számos bizonyítást dolgozunk fel, hogy bemutassuk a fontos eredmények bizonyítási módszereit, például a vágás-eltávolítás tételt, a teljességet, a dönthetőséget és az interpolációt. Más bizonyítások úgy kerülnek bemutatásra, hogy az olvasóknak feladatokat hagyunk, így gyakorolhatják a szekvencia-számítás technikáit.

A klasszikus mondattani logikába való rövid bevezetés után a szöveg a szekvencia-kalkulus három változatát, azok jellemzőit és alkalmazásait vizsgálja. A további fejezetek ezután bemutatják, hogyan lehet a szekvencia-kalkulust kiterjeszteni, módosítani és alkalmazni nem klasszikus logikákra, beleértve a modális, intuitív, szubstrukturalista és sokértékű logikákat.

A Sequents and Trees alkalmas a logika végzős és haladó alapszakos hallgatói számára, akik a bizonyításelméletről és annak nem-klasszikus logikákra való alkalmazásáról szóló kurzusokat vesznek fel. A könyv az informatika kutatói és a filozófusok számára is érdekes lesz.