The following pages link to Proof theory. 2nd ed (Q1086559):
Displaying 10 items.
- Normalizing notations in the Ershov hierarchy (Q6094127) (← links)
- Glivenko sequent classes and constructive cut elimination in geometric logics (Q6103506) (← links)
- TWO-SORTED FREGE ARITHMETIC IS NOT CONSERVATIVE (Q6148472) (← links)
- Herbrand complexity and the epsilon calculus with equality (Q6178471) (← links)
- ON ZARDINI’S RULES FOR MULTIPLICATIVE QUANTIFICATION AS THE SOURCE OF CONTRA(DI)CTIONS (Q6188337) (← links)
- Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory (Q6597957) (← links)
- The logicality of equality (Q6612870) (← links)
- Is Cantor's theorem a dialetheia? Variations on a paraconsistent approach to Cantor's theorem (Q6638237) (← links)
- Non-reflexive nonsense: proof theory of paracomplete weak Kleene logic (Q6642820) (← links)
