Types Of Formal Logic