Deduction, Computation, Experiment: Exploring the Effectiveness of Proof

& (eds.)
Berlin and Milano: Springer (2008)
  Copy   BIBTEX

Abstract

The essays collected in this volume address such questions from different points of view and will interest students and scholars in several branches of scientific knowledge.

Categories

Keywords

Reprint years

ISBN(s)

8847007836   9788847007840   8847007844   9788847007833
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

.[author unknown]
Proofs as Efficient Programs.Ugo Dal Lago & Simone Martini
Toy Models in Physics and the Reasonable Effectiveness of Mathematics.  (pages 49)Annalisa Marzuoli

Similar books and articles

.[author unknown] - unknown
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
The Proof Structure of Kant's A-Deduction.Michael Barker - 2001 - Kant Studien 92 (3):259-282.
Proof and canonical proof.Bernhard Weiss - 1997 - Synthese 113 (2):265-284.
“The Strict Deduction System Is Impossible to Derive the Contradiction” And the Proof.Fang-Wen Yuan - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:147-162.
The strong proof from hypotheses and conditionals: Some theorems of deduction for relevant systems.E. A. Sidorenko - 1983 - Studia Logica 42 (2-3):165 - 171.
Apperception and Analyticity in the B-Deduction.Henry E. Allison - 1993 - Grazer Philosophische Studien 44 (1):233-252.
A short proof of the strong normalization of classical natural deduction with disjunction.René David & Karim Nour - 2003 - Journal of Symbolic Logic 68 (4):1277-1288.
A Simple Proof that Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.

Analytics

Added to PP
2011-05-14

Downloads
19 (#805,206)

6 months
6 (#531,855)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Giovanna Corsi
Università degli Studi di Bologna
Rossella Lupacchini
University of Bologna

Citations of this work

Add more citations

References found in this work

The Definition of Random Sequences.A. Kino, J. Myhill & R. E. Vesley - 1975 - Journal of Symbolic Logic 40 (3):450-452.

Add more references