The following pages link to Proof-theoretic semantics:
Displayed 13 items.
- Logic programming (← links | edit)
- Gerhard Gentzen (← links | edit)
- Index of logic articles (← links | edit)
- List of mathematical logic topics (← links | edit)
- Index of philosophy articles (I–Q) (← links | edit)
- Principle of explosion (← links | edit)
- Semantics of logic (← links | edit)
- Inferential role semantics (← links | edit)
- Truth-conditional semantics (← links | edit)
- Cut-elimination theorem (← links | edit)
- Dag Prawitz (← links | edit)
- Datalog (← links | edit)
- Analytic proof (← links | edit)