Sekvencie a stromy: Úvod do teórie a aplikácií výrokových sekvenčných kalkulov

Pôvodný názov:

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

Obsah knihy:

Táto učebnica ponúka podrobný úvod do metodológie a aplikácií sekvenčných kalkulov vo výrokovej logike. Na rozdiel od iných textov zaoberajúcich sa teóriou dôkazu sa kladie dôraz na ilustráciu toho, ako používať sekvenčné kalkule na dokazovanie širokého spektra metateoretických výsledkov. Prezentácia je elementárna a samostatná, pričom všetky technické detaily sú formálne uvedené a tiež neformálne vysvetlené. Početné dôkazy sú spracované tak, aby demonštrovali metódy dokazovania dôležitých výsledkov, ako sú veta o eliminácii rezu, úplnosť, rozhodnuteľnosť a interpolácia. Ostatné dôkazy sú prezentované s časťami ponechanými ako cvičenia pre čitateľov, čo im umožňuje precvičiť si techniky sekvenčného počtu.

Po krátkom úvode do klasickej výrokovej logiky sa text zaoberá tromi variantmi sekvenčného kalkulu, ich vlastnosťami a aplikáciami. Zvyšné kapitoly potom ukazujú, ako možno sekvenčné kalkuly rozšíriť, modifikovať a aplikovať na neklasické logiky vrátane modálnych, intuicionistických, subštrukturálnych a mnohohodnotových logík.

Kniha Sekvencie a stromy je vhodná pre absolventov a pokročilých študentov logiky, ktorí navštevujú kurzy teórie dôkazov a jej aplikácie na neklasické logiky. Bude zaujímavá aj pre výskumníkov v oblasti informatiky a filozofov.