Pages that link to "Item:Q1841003"
From MaRDI portal
The following pages link to Proof-theoretic reduction as a philosopher's tool (Q1841003):
Displaying 8 items.
- Deduction as reduction, from a categorical point of view (Q382412) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- On the logic of reducibility: Axioms and examples (Q1841000) (← links)
- Does reductive proof theory have a viable rationale? (Q1841001) (← links)
- Reductionism as resource-conscious reasoning (Q1841008) (← links)
- Arithmetic, set theory, reduction and explanation (Q2219037) (← links)
- On Relating Theories: Proof-Theoretical Reduction (Q3305638) (← links)
- AXIOMATIC TRUTH, SYNTAX AND METATHEORETIC REASONING (Q5414134) (← links)