noun ·Rare ·Advanced level

Definitions

Noun

1. 1
   A set of axioms and a set of inference rules which are jointly used to deduce tautologies, thereby providing proofs of them.

Synonyms

All synonyms

bulletproofsin mathematicssequent calculus