Pages that link to "Proof-theoretic semantics"
Jump to navigation
Jump to search
The following pages link to Proof-theoretic semantics:
Displaying 13 items.
- Logic programming (← links)
- Gerhard Gentzen (← links)
- Proof theory (← links)
- List of mathematical logic topics (← links)
- Principle of explosion (← links)
- Semantics (logic) (← links)
- Inferential role semantics (← links)
- Truth-conditional semantics (← links)
- Cut-elimination theorem (← links)
- Dag Prawitz (← links)
- Structural proof theory (← links)
- Datalog (← links)
- Analytic proof (← links)