Pages that link to "Item:Q817706"
From MaRDI portal
The following pages link to The epsilon calculus and Herbrand complexity (Q817706):
Displaying 15 items.
- On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem (Q265002) (← links)
- Proof generalization in \(\mathrm {LK}\) by second order unifier minimization (Q331619) (← links)
- The epsilon-reconstruction of theories and scientific structuralism (Q334861) (← links)
- On the compressibility of finite languages and formal proofs (Q1706152) (← links)
- Herbrand's theorem as higher order recursion (Q1987218) (← links)
- Ackermann's substitution method (remixed) (Q2503393) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- A Calculus of Realizers for EM 1 Arithmetic (Extended Abstract) (Q3540181) (← links)
- Non-elementary speed-ups in logic calculi (Q3545216) (← links)
- UNSOUND INFERENCES MAKE PROOFS SHORTER (Q4628675) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- Semantics and Proof Theory of the Epsilon Calculus (Q5224489) (← links)
- Expansion trees with cut (Q5236547) (← links)
- VON NEUMANN’S CONSISTENCY PROOF (Q5737949) (← links)
- Herbrand complexity and the epsilon calculus with equality (Q6178471) (← links)
