The following pages link to (Q4395622):
Displaying 5 items.
- Gödel on deduction (Q2631643) (← links)
- Completeness of a cut-free calculus with equality and function constants (Q3712336) (← links)
- Inferential Semantics (Q5213609) (← links)
- The nature of entailment: an informational approach (Q6088597) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)
