Lutz Straßburger  Home/Search
Context
Related
| ps.unisb.de/~lutz...WhatLogicProof.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: alessio.guglielmi.name/re...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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