Proof Theory: Sequent Calculi and Related Formalisms, 1st Edition (e-Book) book cover

Proof Theory

Sequent Calculi and Related Formalisms, 1st Edition

By Katalin Bimbo

Chapman and Hall/CRC

386 pages

Purchasing Options:$ = USD
Hardback: 9781466564664
pub: 2014-08-20
$105.00
x
eBook (VitalSource) : 9780429099694
pub: 2014-08-20
from $28.98


FREE Standard Shipping!

Description

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

Table of Contents

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.

Subject Categories

BISAC Subject Codes/Headings:
MAT000000
MATHEMATICS / General
MAT004000
MATHEMATICS / Arithmetic
MAT028000
MATHEMATICS / Set Theory