Linked from
The 37 pages that link to Rule of inference, each with the reason it gives.
Mathematical proofRelated: Each proof step must preserve truth under an accepted rule of inference.
Deductive reasoningRelated: Rules such as modus ponens make valid deductive steps explicit.
AxiomRelated: Inference rules determine what a theory can prove from its axioms.
Type theoryRelated: Type theories use inference rules to define valid formation and typing steps.
Formal proofRelated: Each proof step is licensed by an inference rule.
Proof theoryRelated: Inference rules determine which steps count as valid in a formal derivation.
ConsistencyRelated: A theory’s permitted inference rules help determine what its axioms entail.
Mathematical logicRelated: Inference rules define the permitted steps in a formal proof.
SoundnessRelated: A system's rules determine whether its proofs preserve truth.
Formal systemRelated: Inference rules license each step in a formal derivation.
Proof assistantRelated: The assistant checks that each proof step follows permitted inference rules.
Formal logicRelated: Inference rules provide the permitted steps in formal derivations.
FormalismRelated: It licenses each step in a formal proof independently of interpretation.
DerivationRelated: In logical derivations, inference rules justify transitions between statements.
LogicRelated: Inference rules make valid steps explicit in a formal derivation.
DemonstrationRelated: Demonstrations proceed by applying rules that preserve necessary consequence.
Logical formRelated: Rules give formal procedures for deriving conclusions from argument structures.
Axiom (general principle)Related: Inference rules determine what follows from accepted axioms.
Concepts & principlesRelated: Such rules specify how principles may be used in valid arguments.