Medical logic Digital logic Legal logic Devil logic General logic Local logic medical series Analogical logic Formal logic Mathematical logic