Proceedings Third International Workshop on Classical Logic and Computation

Details Proceedings Third International Workshop on Classical Logic and Computation Proceedings Third International Workshop on Classical Logic and Computation

2011-01-27

arxiv.org/abs/1101.5200v1

EPTCS 47, 2011

Computer Science

Logic in Computer Science

Scientific paper

10.4204/EPTCS.47

The fact that classical mathematical proofs of simply existential statements can be read as programs was established by Goedel and Kreisel half a century ago. But the possibility of extracting useful computational content from classical proofs was taken seriously only from the 1990s on when it was discovered that proof interpretations based on Goedel's and Kreisel's ideas can provide new nontrivial algorithms and numerical results, and the Curry-Howard correspondence can be extended to classical logic via programming concepts such as continuations and control operators. The workshop series "Classical Logic and Computation" aims to support a fruitful exchange of ideas between the various lines of research on computational aspects of classical logic. This volume contains the abstracts of the invited lectures and the accepted contributed papers of the third CL&C workshop which was held jointly with the workshop "Program Extraction and Constructive Mathematics" at the University of Brno in August 21-22, 2010, as a satellite of CSL and MFCS. The workshops were held in honour of Helmut Schwichtenberg who became "professor emeritus" in September 2010. The topics of the papers include the foundations, optimizations and applications of proof interpretations such as Hilbert's epsilon substitution method, Goedel's functional interpretation, learning based realizability and negative translations as well as special calculi and theories capturing computational and complexity-theoretic aspects of classical logic such as the lambda-mu-calculus, applicative theories, sequent-calculi, resolution and cut-elimination

Affiliated with

Also associated with

No associations

Rating

Proceedings Third International Workshop on Classical Logic and Computation does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Proceedings Third International Workshop on Classical Logic and Computation, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Proceedings Third International Workshop on Classical Logic and Computation will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-544364