Lukasiewicz Logic Switching criterion Three criteria for truth References. Geometry of Interaction 1 (Girard, 1989)