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