<logic> Explicit rules for producing a theorem when given one or more other theorems. functions from sequences of theorems to theorems. In a formal system they should be formal (that is, syntactical or typographical) in nature, and work without reference to the meanings of the strings they manipulate. Also called rules of transformation, rules of production. See for example
[Glossary of First-Order Logic]
Try this search on OneLook / Google