Cargando…
2nd International Conference on Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and...
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Springer
2016
|
| Materias: | |
| Acceso en línea: | https://dx.doi.org/10.1007/978-3-319-22686-6 http://cds.cern.ch/record/2113174 |