logic non-classical logic functional expressibility
See more