Pages that link to "Sequent calculus"
Jump to navigation
Jump to search
The following pages link to Sequent calculus:
Displaying 50 items.
- Calculus (links)
- First-order logic (links)
- Propositional calculus (links)
- Modus ponens (links)
- Mathematical logic (links)
- Type theory (links)
- Gerhard Gentzen (links)
- Natural deduction (links)
- History of logic (links)
- Abductive reasoning (links)
- Proof theory (links)
- Relevance logic (links)
- Sequent (links)
- Curry–Howard correspondence (links)
- Modal logic (links)
- List of mathematical logic topics (links)
- Typing rule (links)
- Metalogic (links)
- Substructural logic (links)
- Index of philosophy articles (R–Z) (links)
- Paraconsistent logic (links)
- Deduction theorem (links)
- Linear logic (links)
- Computability logic (links)
- List of functional programming topics (links)
- Quantum logic (links)
- Noncommutative logic (links)
- Structural rule (links)
- Cut-elimination theorem (links)
- Proof-theoretic semantics (links)
- Kripke semantics (links)
- Proof net (links)
- Bunched logic (links)
- Structural proof theory (links)
- Analytic proof (links)
- Method of analytic tableaux (links)
- Cut rule (links)
- Normal form (natural deduction) (links)
- Calculus (disambiguation) (links)
- Admissible rule (links)
- Formal proof (links)
- Joachim Lambek (links)
- Deep inference (links)
- Proof calculus (links)
- Proof procedure (links)
- Giorgi Japaridze (links)
- Craig interpolation (links)
- Sequent (disambiguation) (links)
- Takeuti's conjecture (links)
- Herbrand's theorem (links)