Pages that link to "Proof-theoretic semantics"
From HandWiki
The following pages link to Proof-theoretic semantics:
Displayed 18 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Index of logic articles (← links)
- List of mathematical logic topics (← links)
- Proof theory (← links)
- Cut-elimination theorem (← links)
- Logic programming (← links)
- Datalog (← links)
- Truth-value semantics (← links)
- Semantics of logic (← links)
- Syntax and semantics of logic programming (← links)
- Philosophy:Inferential role semantics (← links)
- Philosophy:Principle of explosion (← links)
- Philosophy:Analytic proof (← links)
- Philosophy:Truth-conditional semantics (← links)
- Philosophy:Meaning (philosophy of language) (← links)
- Philosophy:Meaning (← links)
- Biography:Nissim Francez (← links)
- Biography:Per Martin-Löf (← links)
- Biography:Gerhard Gentzen (← links)
