Find the word definition

Wiktionary
logical calculus

n. (context logic English) A formal system.