Proof Theory

Sequent Calculi and Related Formalisms

Autori

• Katalin Bimbó

Parametri

• 386 pagine
• 14 ore di lettura

• Computer, IT, programmazione
• Matematica

Maggiori informazioni sul libro

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.

Lingua: Inglese

Pubblicato: 2024

(In brossura)