منطق ناهماهنگی‌پذیر