Abstract
I will discuss the two problems of how to define identity between logics and how to define identity between proofs. For the identity of logics, I will propose a possible notion, which might be considered to be folklore, but which seems to be the right one from the viewpoint of the problem of the identity of proofs. For that problem I will indicate a possible direction of research.
| Original language | English |
|---|---|
| Title of host publication | Logica Universalis |
| Subtitle of host publication | Towards a General Theory of Logic |
| Publisher | Birkhäuser Verlag Basel • Boston • Berlin |
| Pages | 135-145 |
| Number of pages | 11 |
| ISBN (Print) | 3764372591, 9783764372590 |
| DOIs | |
| Publication status | Published - 1 Dec 2005 |
| Externally published | Yes |
Fingerprint
Dive into the research topics of 'What is a logic, and what is a proof?'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver