Categorical type logic Categorical imperative Mathematical logic Analogical logic Medical logic Narrative logic Private logic