Three Types Of Logical Theory