Classical
Gödel(G3)
Kleene(K3)
Lukasiewicz(L3)