This article presents an analysis of Gödel's dialectica interpretation via a refinement of intuitionistic logic known as linear logic. Linear logic comes naturally into the picture once one observes ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback