3658 search results - page 111 / 732 » The logic of proofs, semantically |
MLQ
2010
13 years 9 months ago
2010
This article systematically investigates so-called “truth variants” of several functional interpretations. We start by showing a close relation between two variants of modifi...
CORR
2002
Springer
13 years 10 months ago
2002
Springer
Abstract. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory a...
CADE
2010
Springer
13 years 8 months ago
2010
Springer
x-free and employs a novel clausal form that abstracts away from propositional reasoning. It comes with an elegant correctness proof. We discuss some optimizations for decision pro...
BIRTHDAY
2010
Springer
13 years 11 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...
FUIN
2007
13 years 10 months ago
2007
