Find the word definition

Wiktionary
formal logics

n. (formal logic English)