非古典論理
古典論理の代替としての非古典論理は、基本的に、古典論理の定理のいくつかがその論理体系では定理でない。