Proof theory sequent calculi and related formalisms
Sequent calculi constitute an interesting and important category of proof systems. They are much less known than axiomatic systems or natural deduction systems are, and they are much less known than they should be. Sequent calculi were designed as a theoretical framework for investigations of logica...
| Otros Autores: | |
|---|---|
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Boca Raton :
CRC Press
[2015]
|
| Edición: | 1st ed |
| Colección: | Discrete mathematics and its applications.
|
| Materias: | |
| Ver en Biblioteca Universitat Ramon Llull: | https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009644309906719 |
Tabla de Contenidos:
- Front Cover; Contents; Preface; Chapter 1: Proofs and proof theory; Chapter 2: Classical first-order logic; Chapter 3: Variants of the first sequent calculi; Chapter 4: Sequent calculi for non-classical logics; Chapter 5: Consecution calculi for non-classical logics; Chapter 6: Display calculi and hypersequents; Chapter 7: Cut rules and cut theorems; Chapter 8: Some other proof systems; Chapter 9: Applications and applied calculi; Appendix A: Some supplementary concepts; Bibliography
