scientific article; zbMATH DE number 7599980

MaRDI QIDQ5039161zbMATH OpenFDO

Authors G. A. Kavvos

Publication date 12 October 2022

Full work available at URL https://arxiv.org/abs/1703.01288

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Intensional completeness in an extension of Gödel/Dummett logic
• Intensionality, definability and computation
• Gödel and intuitionism
• scientific article; zbMATH DE number 1531380
• General recursive realizability and intuitionistic logic
• Intuitionistic logic and implicit definability
• Godel's interpretation of intuitionism
• On Gödel's modal interpretation of the intuitionistic logic
• scientific article; zbMATH DE number 2064301
• scientific article; zbMATH DE number 2070194

Cited in

(2)

• INTENSIONALITY AND PARADOXES IN RAMSEY’S ‘THE FOUNDATIONS OF MATHEMATICS’
• A Category Theoretic View of Contextual Types: From Simple Types to Dependent Types

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5039161)