3690 search results - page 19 / 738 » Computation with classical sequents |
CIE
2010
Springer
14 years 3 months ago
2010
Springer
This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatis...
Lecture Notes
Survey Chapters on Mechanism Design and Electronic Markets, Shared by David Parkes
CSL
2005
Springer
14 years 4 months ago
2005
Springer
In previous work we presented a foundational calculus for spatially distributed computing based on intuitionistic modal logic. With the modalities P and Q we were able to capture t...
DAM
2011
13 years 5 months ago
2011
Many graph search algorithms use a labeling of the vertices to compute an ordering of the vertices. We generalize this idea by devising a general vertex labeling algorithmic proce...
CIE
2006
Springer
14 years 2 months ago
2006
Springer
This note reexamines Spector's remarkable computational interpretation of full classical analysis. Spector's interpretation makes use of a rather abstruse recursion schem...