formal logic

Noun

 * 1)  Mathematical logic.
 * 2)  A particular logical calculus.