Proof Theory

Sequent Calculi and Related Formalisms

Autor*innen

• Katalin Bimbó

Parameter

• 386 Seiten
• 14 Lesestunden

• Informatik & Programmierung
• Mathematik

Mehr zum Buch

The book offers an in-depth exploration of sequent calculi, highlighting their significance in proof systems compared to more familiar methods like axiomatic and natural deduction. It covers a diverse array of variations and emphasizes their application in non-classical logics, making it a valuable resource for those interested in advanced logical frameworks and their theoretical implications. The comprehensive treatment aims to enhance understanding and appreciation of sequent calculi in the broader context of mathematical logic.

• Sprache: Englisch
• Erscheinungsdatum: 2024
• Einband: Paperback