Pages that link to "Sequent calculus"
Jump to navigation
Jump to search
The following pages link to Sequent calculus:
Displaying 28 items.
- Calculus (← links)
- First-order logic (← links)
- Propositional logic (← 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)
- 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)
- Vero - Wikipedia:Historical archive/Changing attribution for an edit/Previous discussion (← links)