What is a logic, and what is a proof ? - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Book Sections Year : 2005

What is a logic, and what is a proof ?

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.
Fichier principal
Vignette du fichier
WhatLogicProof.pdf (227.48 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00130523 , version 1 (30-11-2012)

Identifiers

  • HAL Id : inria-00130523 , version 1

Cite

Lutz Strassburger. 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⟩
313 View
378 Download

Share

Gmail Facebook Twitter LinkedIn More