Intermediate Logic (predicate/intuilistic logic, tableaux, natural deduction, semantics) Intermediate Logic (predicate/intuilistic logic, tableaux, natural deduction, semantics)