1. The inference
where is a conditional connective, or the corresponding axiom scheme
Suffixing is most frequently encountered in axiomatizations of relevant logic, as is its dual, prefixing.
2. Describes any deductive system in which the rule form of suffixing is an admissible inference.