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 ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback