Proof Identity is a theoretical construct in proof theory that distinguishes between proofs based on their structural and inferential equivalence, thereby classifying when two derivations represent the same underlying logical justification.
4
Publications
144
Citations
3
Authors
6
Institutions
Publications per year
2017–2026
1
Parents
Publications
4
Proof Nets and the Identity of Proofs
Lutz Straßburger · arXiv (Cornell University) · 2006 · 10 citations · Full text
1–4 of 4
Authors
3
- LSLutz Straßburger
Laboratoire d'Informatique de l'École Polytechnique, France
2 publications · 21 citations
2
h-index
- KD
1
h-index
- FS
1
h-index
1–3 of 3
Institutions
6
Mathematical Institute of the Slovak Academy of Sciences
Bratislava, Slovakia
1 h-index
1 publications
62 citations
University of St Andrews
St Andrews, United Kingdom
1 h-index
1 publications
61 citations
Centre Inria de Saclay
Palaiseau, France
1 h-index
1 publications
11 citations
Serbian Academy of Sciences and Arts
Belgrade, Serbia
1 h-index
1 publications
62 citations
Laboratoire d'Informatique de l'École Polytechnique
Palaiseau, France
1 h-index
1 publications
10 citations
University of Stirling
Stirling, United Kingdom
1 h-index
1 publications
61 citations
1–6 of 6
Venues
- Philosophia Mathematica
1 publications · 61 citations
1
h-index
- Bulletin of Symbolic Logic
1 publications · 62 citations
1
h-index
- Philosophical Transactions of the Royal Society A Mathematical Physical and Engineering Sciences
1 publications · 11 citations
1
h-index
- arXiv (Cornell University)
Repository · 1 publications · 10 citations
1
h-index
1–4