added pointer to:
properly brought out this bibitem:
added pointer to
and expanded out the bibidata for this item:
Is a common term for a class of proof systems composed of simple and self-evident inference rules based on methods of proof and traditional ways of reasoning that have been used in deductive practice since antiquity.affordable towing services
]]>moving some redirects to term elimination
Anonymous
]]>moving relevant redirects over to conversion rule
Anonymous
]]>I am fixing it…
]]>But type formation is its own page, and ’type formation rule’ is already a redirect for type formation.
]]>adding redirects for uniqueness rule, uniqueness rules, type formation, type formation rule, type formation rules, formation rule, and formation rules
Anonymous
]]>Added link to definition
Anonymous
]]>Corrected a second incorrect “derivation” link.
Sam Winnick
]]>Corrected a link. Before the word “derivation” linked to the page for derivations in differential algebra.
Sam Winnick
]]>