The following pages link to (Q5633976):
Displaying 18 items.
- Realizability and intuitionistic logic (Q792319) (← links)
- Proof-theoretical analysis: Weak systems of functions and classes (Q911585) (← links)
- Prolegomena to a theory of mechanized formal reasoning (Q1140436) (← links)
- Reduction of finite and infinite derivations (Q1577482) (← links)
- Geometry and generality in Frege's philosophy of arithmetic. (Q1578773) (← links)
- What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics (Q2037304) (← links)
- Rosser provability and the second incompleteness theorem (Q2097058) (← links)
- What inductive explanations could not be (Q2219138) (← links)
- Composition of deductions within the propositions-as-types paradigm (Q2228351) (← links)
- A normal form for logical derivations implying one for arithmetic derivations (Q2367413) (← links)
- Semantic values for natural deduction derivations (Q2500822) (← links)
- General proof theory: introduction (Q2631640) (← links)
- The fundamental problem of general proof theory (Q2631642) (← links)
- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics (Q5057054) (← links)
- An intuitionistic formula hierarchy based on high‐school identities (Q5108846) (← links)
- Cut Elimination, Substitution and Normalisation (Q5213610) (← links)
- Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation (Q5251185) (← links)
- An expressivist strategy to understand logical forms (Q6535321) (← links)
