Wiktionary
logical calculus
n. (context logic English) A formal system.
n. (context logic English) A formal system.