Pages that link to "Definition:Gentzen Proof System/Instance 1"
Jump to navigation
Jump to search
The following pages link to Definition:Gentzen Proof System/Instance 1:
Displayed 14 items.
- Rule of Commutation/Disjunction/Formulation 2/Forward Implication (← links)
- Rule of Distribution/Disjunction Distributes over Conjunction/Left Distributive/Formulation 2/Forward Implication (← links)
- Provable by Gentzen Proof System iff Negation has Closed Tableau (← links)
- Provable by Gentzen Proof System iff Negation has Closed Tableau/Formula (← links)
- Provable by Gentzen Proof System iff Negation has Closed Tableau/Set of Formulas (← links)
- Soundness and Completeness of Gentzen Proof System (← links)
- Rule of Distribution/Disjunction Distributes over Conjunction/Left Distributive/Formulation 2/Forward Implication/Proof 1 (← links)
- User:Lord Farin/Sandbox/Proof Rules (← links)
- Definition:Premise (← links)
- Definition:Gentzen Proof System (← links)
- Definition:Gentzen Proof System/Instance 1/Alpha-Rule (← links)
- Definition:Gentzen Proof System/Instance 1/Beta-Rule (← links)
- Definition:Gentzen Proof System/Instance 1/Alpha-Rule/Notation (← links)
- Definition:Gentzen Proof System/Instance 1/Beta-Rule/Notation (← links)