Pages that link to "Dag Prawitz"
Jump to navigation
Jump to search
The following pages link to Dag Prawitz:
Displaying 15 items.
- Parameter (← links)
- Natural deduction (← links)
- Proof theory (← links)
- Relevance logic (← links)
- Rolf Schock Prizes (← links)
- Sequent (← links)
- Curry–Howard correspondence (← links)
- List of logicians (← links)
- Jean-Yves Girard (← links)
- Semantics (logic) (← links)
- Cut-elimination theorem (← links)
- Proof-theoretic semantics (← links)
- Structural proof theory (← links)
- Normal form (natural deduction) (← links)
- Vero - Wikipedia:People by year/Reports/No other categories/2 (← links)