非古典論理
古典論理
では無い論理
古典論理
の拡張
様相論理
古典論理
の代替
いくつかの古典論理で認められる推論を否定,あるいは認められない推論を追加
厳密含意
直観主義論理
多値論理
関連性論理