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