Noun
metalogic (countable and uncountable, plural metalogics)
(philosophy) The metatheory of logic; the study of properties of logical systems.
His treatment of metalogic left something to be desired. Source: Internet
The simplest metalogic program is the so-called " vanilla " meta-interpreter: solve(true). Source: Internet