Pages that link to "Proof-theoretic semantics"
Showing 41 items.
- Logic programming (links | edit)
- Gerhard Gentzen (links | edit)
- Proof theory (links | edit)
- List of mathematical logic topics (links | edit)
- Principle of explosion (links | edit)
- Semantics (logic) (links | edit)
- Inferential role semantics (links | edit)
- Truth-conditional semantics (links | edit)
- Cut-elimination theorem (links | edit)
- Dag Prawitz (links | edit)
- Structural proof theory (links | edit)
- Datalog (links | edit)
- Analytic proof (links | edit)
- Per Martin-Löf (links | edit)
- Truth-value semantics (links | edit)
- Meaning (philosophy) (links | edit)
- Syntax and semantics of logic programming (links | edit)
- Glossary of logic (links | edit)
- Talk:Truth table (links | edit)
- Talk:Logic/Archive 1 (links | edit)
- Talk:Principle of compositionality (links | edit)
- Talk:Per Martin-Löf (links | edit)
- Talk:Proof-theoretic semantics (transclusion) (links | edit)
- User:Chalst/logic-watchlist (links | edit)
- User:Hotfeba/logic dictionary stubs (links | edit)
- User:Physis/Former watchlist (links | edit)
- User:VeblenBot/List of mathematical logic articles (links | edit)
- User:Aniruddha22Paranjpye/Books/Proof Theory (links | edit)
- User:Gregbard/old watchlist2 (links | edit)
- User:Tompw/Books/Mathematics (links | edit)
- User:Tompw/Books/Mathematics (P) (links | edit)
- User:Gregorio Piccoli/Books/ProofsAsPrograms (links | edit)
- User:Domcd/Books/Logic, philosophy, language, mathematics (links | edit)
- User:JamesMohr/Books/Historiography2 (links | edit)
- User talk:DesolateReality (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematics articles (P–R) (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematics articles (P) (links | edit)
- Wikipedia:WikiProject Philosophy/Logic/Popular pages (links | edit)
- Draft:Prawitz Embedding (links | edit)
- Draft:Prawitz's inversion principle (links | edit)
- Draft:Normalization thesis (links | edit)