Admissible rule

In the context of formal logic and artificial intelligence, an "admissible rule" typically refers to a type of inference rule that guarantees soundness in a reasoning system. An inference rule is said to be admissible if, whenever it is applied in a proof or reasoning process, it does not lead to any incorrect conclusions.