Katalin Bimbo

Proof Theory (eBook, PDF)

Sequent Calculi and Related Formalisms

• Format: PDF

Produktbeschreibung

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing this deficiency, Proof Theory: Sequent Calculi and Related Formalisms presents a comprehensive treatment of sequent calculi, including a wide range of variations. It focuses on sequent calculi

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Taylor & Francis eBooks
• Seitenzahl: 386
• Erscheinungstermin: 20. August 2014
• Englisch
• ISBN-13: 9781466564688
• Artikelnr.: 43975973

Autorenporträt

Katalin Bimbo

Inhaltsangabe

Proofs and Proof Theory. Classical First-Order Logic. Variants of the First
Sequent Calculi. Sequent Calculi for Non-Classical Logics. Consecution
Calculi for Non-Classical Logics. Display Calculi and Hypersequents. Cut
Rules and Cut Theorems. Some Other Proof Systems. Applications and Applied
Calculi. Appendix. Bibliography. Index.