667 search results - page 2 / 134 » On Various Negative Translations |
CORR
2011
Springer
12 years 12 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
CICLING
2007
Springer
13 years 9 months ago
2007
Springer
This paper presents a study of the negative effect of Machine Translation (MT) on the precision of Cross
CIE
2010
Springer
13 years 9 months ago
2010
Springer
We develop applications of selection functions to proof theory and computational extraction of witnesses from proofs in classical analysis. The main novelty is a translation of cla...
TLCA
2009
Springer
13 years 11 months ago
2009
Springer
Friedman showed how to turn a classical proof of a Σ0 1 formula into an intuitionistic proof of the same formula, thus giving an effective method to extract witnesses from classi...
CICLING
2010
Springer
13 years 9 months ago
2010
Springer
In this paper we will present a maximum entropy filter for the translation rules of a statistical machine translation system based on tree transducers. This filter can be success...