Dialectica logical principles

DOI10.1007/978-3-030-93100-1_22OpenAlexW4205741318MaRDI QIDQ2151422

Matteo Spadetto, Davide Trotta, V. C. V. de Paiva

Publication date: 1 July 2022

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

zbMATH Keywords

categorical logicdialectica interpretationMarkov and independence of premise principles

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (2)

Dialectica principles via Gödel doctrines ⋮ A characterization of generalized existential completions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quotient completion for the foundation of constructive mathematics
• Realizability. An introduction to its categorical side
• Categorical logic and type theory
• Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator
• Unifying exact completions
• Tripos theory in retrospect
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Modular correspondence between dependent type theories and categories including pretopoi and topoi
• Tripos theory
• Adjointness in Foundations
• Cut‐Elimination Theorem for the Logic of Constant Domains
• A functional functional interpretation
• The existential completion
• Dialectica models of type theory

This page was built for publication: Dialectica logical principles