Pages that link to "Cut-elimination theorem"
Showing 50 items.
- Index of philosophy articles (A–C) (links | edit)
- Modus ponens (links | edit)
- Theorem (links | edit)
- Gerhard Gentzen (links | edit)
- Proof theory (links | edit)
- Sequent calculus (links | edit)
- Metalogic (links | edit)
- Deduction theorem (links | edit)
- Linear logic (links | edit)
- List of theorems (links | edit)
- Noncommutative logic (links | edit)
- Structural rule (links | edit)
- Cut-elimination (redirect page) (links | edit)
- Consistency (links | edit)
- Sequent calculus (links | edit)
- List of mathematical logic topics (links | edit)
- Proof-theoretic semantics (links | edit)
- Kripke semantics (links | edit)
- Structural proof theory (links | edit)
- Analytic proof (links | edit)
- Herbrand's theorem (links | edit)
- User:Chalst/logic-watchlist (links | edit)
- User:Mpagano/Sequent Calculus (links | edit)
- Structural proof theory (links | edit)
- Cut rule (links | edit)
- Admissible rule (links | edit)
- Deep inference (links | edit)
- Cut elimination (redirect page) (links | edit)
- Mathematical logic (links | edit)
- Natural deduction (links | edit)
- Hilbert's second problem (links | edit)
- Rule of inference (links | edit)
- Craig interpolation (links | edit)
- Paul Lorenzen (links | edit)
- Geometry of interaction (links | edit)
- Ordinal analysis (links | edit)
- Completeness of atomic initial sequents (links | edit)
- Proof compression (links | edit)
- Hypersequent (links | edit)
- Talk:Clause (logic) (links | edit)
- User:Brighterorange (links | edit)
- User:Physis (links | edit)
- Wikipedia:Reference desk/Archives/Mathematics/2006 August 4 (links | edit)
- Takeuti's conjecture (links | edit)
- Herbrand's theorem (links | edit)
- Gaisi Takeuti (links | edit)
- Cut elimination theorem (redirect page) (links | edit)
- Cut Elimination Theorem (redirect page) (links | edit)
- Stanisław Jaśkowski (links | edit)
- Łukasiewicz logic (links | edit)
- Cut-free proof (redirect page) (links | edit)
- Hauptstimme (links | edit)
- Hauptsatz (mathematics) (redirect page) (links | edit)
- Glossary of logic (links | edit)
- Talk:Metamathematics (links | edit)
- Talk:Cut-elimination theorem (transclusion) (links | edit)
- Talk:Gentzen's consistency proof (links | edit)
- User:Chalst/edits (links | edit)
- User:Alai/skipped-Jan28 (links | edit)
- User:Hotfeba/logic dictionary stubs (links | edit)
- User:Mathbot/Most linked math articles2 (links | edit)
- User:Gregbard/old watchlist (links | edit)
- User:VeblenBot/List of mathematical logic articles (links | edit)
- User:Aniruddha22Paranjpye/Books/Proof Theory (links | edit)
- User:Soobtoob/Books/Logic (links | edit)
- User:Tompw/Books/Mathematics (links | edit)
- User:Tompw/Books/Mathematics (C) (links | edit)
- User:Arjuna.scagnetto/Books/Logica (links | edit)
- User:Jmg69/Books/maths vol2 (links | edit)
- User:Domcd/Books/Logic, philosophy, language, mathematics (links | edit)
- User:Zarzuelazen/Books/Reality Theory: Mathematical Logic (links | edit)
- User talk:Vipul (links | edit)
- User talk:Neil Leslie (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematics articles (A–C) (links | edit)
- Wikipedia:WikiProject Mathematics/List of mathematics articles (C) (links | edit)