logic non-classical logic functional expressibility
Tout plus