NTHRYS › PhD Assistance › Mathematical Logic Foundations

Mathematical Logic Foundations

Field

▾

Select a category to explore research frontiers

Loading categories...

Research Frontiers in Dialectica Interpretation and Functional Interpretations

Investigates functional interpretations of classical and intuitionistic theories through Gödel''s Dialectica method and its modern extensions.