Pages that link to "Item:Q3305638"
From MaRDI portal
The following pages link to On Relating Theories: Proof-Theoretical Reduction (Q3305638):
Displaying 9 items.
- On the reducibility of hypotheses and consequences (Q845308) (← links)
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- Does reductive proof theory have a viable rationale? (Q1841001) (← links)
- Proof-theoretic reduction as a philosopher's tool (Q1841003) (← links)
- On the convergence of reduction-based and model-based methods in proof theory (Q3644841) (← links)
- Hilbert's program relativized; Proof-theoretical and foundational reductions (Q3803081) (← links)
- (Q4375787) (← links)
- On the connection between narrowing and proof by consistency (Q5210767) (← links)
- Algebra and Coalgebra in Computer Science (Q5492811) (← links)