What logics mean from proof theory to model-theoretic semantics
| Otros Autores: | |
|---|---|
| Formato: | Libro |
| Idioma: | Inglés |
| Publicado: |
Cambridge :
Cambridge University Press
2013
|
| Materias: | |
| Ver en Universidad de Navarra: | https://unika.unav.edu/discovery/fulldisplay?docid=alma991000961389708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es |
Tabla de Contenidos:
- Preface
- 1. Introduction to model-theoretic inferentialism
- 2. Deductive expression
- 3. Local expression
- 4. Global expression
- 5. Intuitionistic semantics
- 6. Conditionals
- 7. Disjunction
- 8. Negation
- 9. Supervaluations and natural semantics
- 10. Natural semantics for an open future
- 11. The expressive power of sequent calculi
- 12. Soundness and completeness for natural semantics
- 13. Connections with proof-theoretic semantics
- 14. Quantifiers
- 15. Natural semantics and vagueness
- 16. Modal logic
- Summary.
