Mathematical logic Zeroth order logic https://en.wikipedia.org/wiki/Propositional_calculus First order logic https://en.wikipedia.org/wiki/First-order_logic Fuzzy Logic https://en.wikipedia.org/wiki/Fuzzy_logic