Cargando…
Sequents and trees: an introduction to the theory and applications of propositional sequent calculi
This textbook offers a detailed introduction to the methodology and applications of sequent calculus in propositional logic. Unlike other texts concerned with proof theory, emphasis is placed on illustrating how to use sequent calculus to prove a wide range of metatheoretical results. The presentati...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2021
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-030-57145-0 http://cds.cern.ch/record/2750129 |