3658 search results - page 111 / 732 » The logic of proofs, semantically |
94
Voted
MLQ
2010
14 years 11 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...
92
Voted
CORR
2002
Springer
15 years 15 days 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...
98
Voted
CADE
2010
Springer
14 years 10 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...
117
click to vote
BIRTHDAY
2010
Springer
15 years 26 days 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...
