Pages that link to "Sequent"
← Sequent
The following pages link to Sequent:
Displaying 34 items.
- Biconditional introduction (← links)
- Biconditional elimination (← links)
- Conjunction introduction (← links)
- Disjunctive syllogism (← links)
- Disjunction introduction (← links)
- Disjunction elimination (← links)
- Modus ponens (← links)
- Modus tollens (← links)
- Natural deduction (← links)
- De Morgan's laws (← links)
- Hypothetical syllogism (← links)
- Relevance logic (← links)
- Rule of inference (← links)
- Sequent calculus (← links)
- Curry–Howard correspondence (← links)
- Double negation (← links)
- Structural rule (← links)
- Conjunction elimination (← links)
- Cut-elimination theorem (← links)
- Structural proof theory (← links)
- Constructive dilemma (← links)
- Destructive dilemma (← links)
- Commutativity of conjunction (← links)
- Turnstile (symbol) (← links)
- Contraposition (← links)
- Regular category (← links)
- Suppes–Lemmon notation (← links)
- Absorption (logic) (← links)
- Exportation (logic) (← links)
- Tautology (rule of inference) (← links)
- Revision theory (← links)
- Hypersequent (← links)
- Boolean algebra (← links)
- Testwiki:Reference desk/Archives/Mathematics/2023 January 23 (← links)