Pages that link to "Sequent"
← Sequent
The following pages link to Sequent:
Displaying 29 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)
- List of mathematical logic topics (← links)
- Double negation (← links)
- Claim (← links)
- List of functional programming topics (← links)
- Structural rule (← links)
- Conjunction elimination (← links)
- Categorial grammar (← links)
- Cut-elimination theorem (← links)
- Decidability (logic) (← links)
- Structural proof theory (← links)
- Constructive dilemma (← links)
- Destructive dilemma (← links)
- Vero - Wikipedia:Historical archive/Changing attribution for an edit/Previous discussion (← links)
- Vero - Wikipedia:WikiProject Mathematics/PlanetMath Exchange/03-XX Mathematical logic and foundations (← links)