university / Logic / Logical System Logical System 6 items Description Logic/ First Order Predicate Logic/ Propositional Logic/ Calculus-Derivation Formal System Logical System