Logique Non-Classique

Terme générique pour des logiques formelles qui modifient ou abandonnent un ou plusieurs principes classiques (bivalence, loi du tiers exclu, non-contradiction, ou monotonicité) afin de mieux modéliser le paradoxe, la vagueness, la croyance ou le raisonnement sensible aux ressources.