Le livre est actuellement en rupture de stock
Sequents and Trees
An Introduction to the Theory and Applications of Propositional Sequent Calculi
Auteurs
Évaluation du livre
En savoir plus sur le livre
Focusing on sequent calculi in propositional logic, this textbook emphasizes practical applications for proving various metatheoretical results. It offers a clear, self-contained presentation, combining formal and informal explanations of technical details. Readers will find numerous worked proofs, including key concepts like cut-elimination, completeness, decidability, and interpolation. Additionally, some proofs are presented as exercises, encouraging readers to engage with and practice the techniques of sequent calculus.
Achat du livre
Sequents and Trees, Andrzej Indrzejczak
- Langue
- Année de publication
- 2021
- Reliure
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.
- Titre
- Sequents and Trees
- Sous-titre
- An Introduction to the Theory and Applications of Propositional Sequent Calculi
- Langue
- Anglais
- Auteurs
- Andrzej Indrzejczak
- Publié
- 2021
- Format
- souple
- Pages
- 364
- ISBN13
- 9783030571474
- Séries
- Évaluation
- 3 sur 5
- Description
- Focusing on sequent calculi in propositional logic, this textbook emphasizes practical applications for proving various metatheoretical results. It offers a clear, self-contained presentation, combining formal and informal explanations of technical details. Readers will find numerous worked proofs, including key concepts like cut-elimination, completeness, decidability, and interpolation. Additionally, some proofs are presented as exercises, encouraging readers to engage with and practice the techniques of sequent calculus.