Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (2006)

Cached

Download Links

by Dominic J. D. Hughes
Citations:3 - 0 self

Documents Related by Co-Citation

11 Locality for classical logic. Notre Dame – Kai Brünnler
565 Untersuchungen über das logische Schließen – G Gentzen - 1935
9 Categorical Proof Theory of Classical Propositional Calculus – Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban - 2005
5 Naming proofs in classical logic – F Lamarche, L Straßburger - 2005
25 Order-enriched categorical models of the classical sequent calculus – Carsten Führmann, David Pym - 2003
29 Proof nets for classical logic – E P Robinson
134 The structure of multiplicatives – Vincent Danos, Laurent Regnier - 1989
164 A new constructive logic: Classical logic – J-Y Girard - 1991
91 Proof-nets: The parallel syntax for proof-theory – Jean-yves Girard - 1996
21 L.: Constructing free Boolean categories – François Lamarche, Loria Inria-lorraine, Projet Calligramme, Lutz Straßburger, Universität Des Saarlandes - 2005
330 The relative efficiency of propositional proof systems – Stephen A. Cook, Robert, A. Reckhow - 1979
30 A compact representation of proofs – Dale A Miller - 1987
1 Herbrand’s theorem and proof invariants – Richard McKinley - 2007
1 Proof nets for Herbrand’s theorem. arXiv:1005.3986v1, available at http://arxiv.org/abs/1005.3986 – Richard McKinley
1 of Proof Theory, chapter I: An Introduction to Proof Theory – Handbook - 1998
162 Constructivism and Proof Theory – A. S. Troelstra - 2003
78 Lectures on Proof Theory – Samuel Buss, A. Maciel (mcgill, E. Allender (rutgers, P. Mckenzie - 1996
9 Cut Elimination inside a Deep Inference System for Classical Predicate Logic – Kai Brünnler - 2005
87 Automated Deduction in Nonclassical Logics – Lincoln A Wallen - 1990