Sekvence a stromy: Úvod do teorie a aplikací výrokových sekvenčních kalkulů (Propositional Sequent Calculi)

Původní název:

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

Obsah knihy:

Tato učebnice nabízí podrobný úvod do metodologie a aplikací sekvenčních kalkulů ve výrokové logice. Na rozdíl od jiných textů zabývajících se teorií důkazů je zde kladen důraz na ukázku toho, jak sekvenční kalkule používat k důkazům široké škály metateoretických výsledků. Výklad je elementární a samostatný, přičemž všechny technické detaily jsou jak formálně uvedeny, tak i neformálně vysvětleny. Četné důkazy jsou zpracovány tak, aby demonstrovaly metody dokazování důležitých výsledků, jako je věta o eliminaci řezu, úplnost, rozhodnutelnost a interpolace. Další důkazy jsou prezentovány s částmi ponechanými jako cvičení pro čtenáře, což jim umožňuje procvičit si techniky sekvenčního kalkulu.

Po stručném úvodu do klasické výrokové logiky se text zabývá třemi variantami sekvenčního kalkulu a jejich vlastnostmi a aplikacemi. Zbývající kapitoly pak ukazují, jak lze sekvenční kalkul rozšířit, modifikovat a aplikovat na neklasické logiky, včetně modálních, intuicionistických, substrukturálních a mnohohodnotových logik.

Kniha Sekvence a stromy je vhodná pro postgraduální a pokročilé studenty logiky, kteří navštěvují kurzy teorie důkazů a její aplikace na neklasické logiky. Bude také zajímavá pro výzkumné pracovníky v oblasti informatiky a filosofy.