×

zbMATH — the first resource for mathematics

What is a logic, and what is a proof? (English) Zbl 1081.03013
Beziau, Jean-Yves (ed.), Logica universalis. Towards a general theory of logic. Basel: Birkhäuser (ISBN 3-7643-7259-1/pbk). 135-145 (2005).
Summary: I discuss the two problems of how to define identity between logics and how to define identity between proofs. For the identity of logics, I 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 indicate a possible direction of research.
For the entire collection see [Zbl 1062.03009].

MSC:
03B22 Abstract deductive systems
03F03 Proof theory, general (including proof-theoretic semantics)
PDF BibTeX XML Cite