論理的真理
非古典論理とは、命題論理や述語論理などの、標準的な論理体系とは大きく異なる形式体系の名称である。非古典論理の目的は、論理的帰結と論理的真理の異なるモデルを構築することである。