Formal logic Local logic Legal logic Digital logic medical logic General logic Devil logic formal wear formal country Analogical logic