Pages that link to "Item:Q265002"
From MaRDI portal
The following pages link to On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem (Q265002):
Displaying 12 items.
- Curry-Howard for incomplete first-order logic derivations using one-and-a-half level terms (Q964000) (← links)
- Proof nets for classical logic (Q1982017) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- A herbrandized functional interpretation of classical first-order logic (Q2402958) (← links)
- Realizability and strong normalization for a Curry-Howard interpretation of HA + EM1 (Q2958512) (← links)
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC (Q2974784) (← links)
- Proofs of strong normalisation for second order classical natural deduction (Q4382485) (← links)
- A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
- GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION (Q4977225) (← links)
- (Q5018491) (← links)
- Expansion trees with cut (Q5236547) (← links)
- Classical Logic with Mendler Induction (Q5283417) (← links)
