See this document in CiteSeerX!

What is a Logic, and What is a Proof? (2005)  (Make Corrections)  
Lutz Straßburger



  Home/Search   Context   Related

 
View or download:
ps.unisb.de/~lutz...WhatLogicProof.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  alessio.guglielmi.name/re...index (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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... (Update)

Active bibliography (related documents):   More   All
5.1:   What is a Logic, and What is a Proof? - Straßburger (2005)   (Correct)
1.7:   On the Axiomatisation of Boolean Categories with and without.. - Straßburger (2005)   (Correct)
1.5:   From Proof Nets to the Free *-Autonomous Category - Lamarche, Straßburger (2005)   (Correct)

Similar documents based on text:   More   All
0.2:   Date: December 7, 2000 - There Are Two   (Correct)
0.2:   From Deep Inference to Proof Nets - Straßburger (2005)   (Correct)
0.1:   Finite Domain Constraint Programming in Oz - A Tutorial - Schulte, Smolka, Würtz (1998)   (Correct)

BibTeX entry:   (Update)

@misc{ burger-what,
  author = "Lutz Straßburger",
  title = "What is a Logic, and What is a Proof?",
  url = "citeseer.ist.psu.edu/723320.html" }
Citations (may not include all citations):
982   Theoretical Computer Science (context) - Girard - 1987
359   Introduction to higher order categorical logic (context) - Lambek, Scott - 1986
233   The formulae-as-types notion of construction (context) - Howard - 1980
116   Ideas and results in proof theory (context) - Prawitz - 1971
72   A new constructive logic: Classical logic (context) - Girard - 1991
65   A local system for classical logic - Brunnler, Tiu - 2001
58   A Proof-Theoretical Study (context) - Prawitz - 1965
56   Non-commutativity and MELL in the calculus of structures - Guglielmi, Straburger - 2001
42   volume 752 of Lecture Notes in Mathematics (context) - Barr, Categories - 1979
39   Deep Inference and Symmetry for Classical Proofs (context) - Brunnler - 2003
25   To appear in ACM Transactions on Computational Logic (context) - Guglielmi, of et al. - 2002
25   Number 5 in Graduate Texts in Mathematics (context) - Lane, the et al. - 1971
24   The Two-Valued Iterative Systems of Mathematical Logic (context) - Post - 1941
18   About models for intuitionistic type theories and the notion.. (context) - Martin-Lof - 1975
16   A compact representation of proofs (context) - Miller - 1987
14   Theoretical Computer Science (context) - Blute, coherence - 1993
13   Proof nets for unit-free multiplicativeadditive linear logic - Hughes, van Glabbeek - 2003
12   Naming proofs in classical propositional logic - Lamarche, Straburger - 2005
12   the geometry of interaction for classical logic (context) - Fuhrmann, Pym - 2004
12   the geometry of interaction for classical logic (context) - Fuhrmann, Pym - 2004
10   Hilbert's twenty-fourth problem - Thiele - 2003
9   Abstract interpretation of proofs: Classical propositional c.. (context) - Martin, Hyland - 2004
7   Constructing free Boolean categories - Lamarche, Straburger - 2005
7   Proof-Theoretical Coherence (context) - Dosen, Petric - 2004
7   From proof nets to the free *- autonomous category (context) - Lamarche, Straburger - 2004
7   Coherence in closed categories (context) - Kelly, Lane - 1971
7   The design of modal proof theories: the case of S (context) - Stouppa - 2004
7   standard constructions and closed categories (context) - Lambek, categories - 1969
7   IEEE Transactions on Computers (context) - Andrews, matings - 1976
6   Syntactic calculus and residuated categories (context) - Lambek, categories - 1968
5   On proof nets for multiplicative linear logic with units (context) - Straburger, Lamarche - 2004
3   Ein Kapitel der Diskreten Mathematik (context) - Poschel, Kaluznin et al. - 1979
2   Equipollent logical systems (context) - Caleiro, Goncalves - 2005
2   Homeomorphism and the equivalence of logical systems (context) - Pollard - 1998
2   and what is a proof (context) - Straburger, logic - 2005
2   st World Congress and School on Universal Logic (context) - How, identity - 2005
2   ry Pelletier and Alasdair Urquhart (context) - Je - 2003

Documents on the same site (http://alessio.guglielmi.name/res/cos/index.html):   More
MELL in the Calculus of Structures - Straßburger (2003)   (Correct)
Implementing Deep Inference in TOM - Kahramanogullari, Moreau, Reilles (2005)   (Correct)
From the Calculus of Structures to Term Rewriting Systems - Hölldobler, Kahramanogullari (2004)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC