HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Book sections

What is a logic, and what is a proof ?

Lutz Straßburger 1, 2
2 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France
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 propose to simply use the notion of preorder equivalence. This might be considered to be folklore, but is exactly what is needed from the viewpoint of the problem of the identity of proofs: If the proofs are considered to be part of the logic, then preorder equivalence becomes equivalence of categories, whose arrows are the proofs. For identifying these, the concept of proof nets is discussed.
Complete list of metadata

Cited literature [41 references]  Display  Hide  Download

Contributor : Lutz Straßburger Connect in order to contact the contributor
Submitted on : Friday, November 30, 2012 - 11:29:16 AM
Last modification on : Thursday, January 20, 2022 - 5:30:47 PM
Long-term archiving on: : Friday, March 1, 2013 - 2:25:10 AM


Files produced by the author(s)


  • HAL Id : inria-00130523, version 1



Lutz Straßburger. What is a logic, and what is a proof ?. Jean-Yves Beziau. Logica Universalis, Birkhäuser, pp.135-145, 2005, 978-3-7643-7259-0. ⟨inria-00130523⟩



Record views


Files downloads