The following pages link to Structural proof theory
External toolsShowing 37 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Proof theory (links | edit)
- List of mathematical logic topics (links | edit)
- Bunched logic (links | edit)
- Analytic proof (links | edit)
- Calculus of structures (links | edit)
- Deep inference (links | edit)
- Proof calculus (links | edit)
- Nuel Belnap (links | edit)
- Display logic (redirect to section "Structures and connectives") (links | edit)
- Natural deduction (links | edit)
- Deep inference (links | edit)
- Proof calculus (links | edit)
- Nuel Belnap (links | edit)
- User:Chalst/logic-watchlist (links | edit)
- User:Mathbot/List of mathematical redlinks (D) (links | edit)
- User:Fropuff/Redlinks (links | edit)
- User:Salih/MathRedlinks (links | edit)
- User talk:Redsolidarch (links | edit)
- Susanne Bobzien (links | edit)
- List of University of Pittsburgh faculty (links | edit)
- Structural proof theories (redirect page) (links | edit)
- Modal logic (links | edit)
- Hypersequent (links | edit)
- Nested sequent calculus (links | edit)
- Focused proof (links | edit)
- Display Logic (redirect to section "Structures and connectives") (links | edit)
- Talk:Gentzen's consistency proof (links | edit)
- Talk:Structure (mathematical logic) (links | edit)
- Talk:Hilbert's problems/Archive 1 (links | edit)
- Talk:Structural proof theory (transclusion) (links | edit)
- Talk:Transcendental number/Archive 1 (links | edit)
- User:Chalst/edits (links | edit)
- User:Chalst/logic-watchlist (links | edit)
- User:VeblenBot/List of mathematical logic articles (links | edit)
- User:Aniruddha22Paranjpye/Books/Proof Theory (links | edit)
- User:Jorgen W/Archives2007-2010 (links | edit)
- User:Tompw/Books/Mathematics (links | edit)
- User:Tompw/Books/Mathematics (S) (links | edit)
- User:Gregorio Piccoli/Books/ProofsAsPrograms (links | edit)
- User:Domcd/Books/Logic, philosophy, language, mathematics (links | edit)
- User:Zarzuelazen/Books/Reality Theory: Mathematical Logic (links | edit)
- User talk:Joriki (links | edit)
- User talk:Chalst/WikiProject Logic proposal (links | edit)
- Misplaced Pages:WikiProject Mathematics/List of mathematics articles (S–U) (links | edit)
- Misplaced Pages:WikiProject Mathematics/List of mathematics articles (S) (links | edit)
- Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/C4 (links | edit)
- Misplaced Pages:WikiProject Academic Journals/Journals cited by Misplaced Pages/L23 (links | edit)