Metaformulas defining sets of rules

Another use of Metaformulas is the formulation of deductive rules. Metaformulas defining deductive rules extend the possibilities of defining derived knowledge.

• Assignment of graphical types:
• Handling inconsistencies