34 search results - page 1 / 7 » Functional interpretations of linear and intuitionistic logi... |
78
Voted
IANDC
2010
14 years 8 months ago
2010
This article shows how different functional interpretations can be combined into what we term hybrid functional interpretations. These hybrid interpretations work on the setting o...
CSL
2009
Springer
15 years 4 months ago
2009
Springer
84
Voted
WOLLIC
2007
Springer
15 years 3 months ago
2007
Springer
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
75
Voted
MLQ
2010
14 years 8 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...
93
Voted
LICS
1991
IEEE
15 years 1 months ago
1991
IEEE
When logic programming is based on the proof theory of intuitionistic logic, it is natural to allow implications in goals and in the bodies of clauses. Attempting to prove a goal ...