logique non standard