sublogic (logic + sub-; below_under)
A subset of a system of logic