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
Paramètres
- 364pages
- 13 heures de lecture
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
- product-detail.submit-box.info.binding
- (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.