非古典論理

非古典論理（ひこてんろんり、non-classical logic(s)）は、古典論理におけるいくつかの仮定を否定、もしくは置き換えることによって構築された論理、あるいは、古典論理における仮定をすべて認めた上で新たな仮定を付け加えることによって構築された論理の総称である。
古典論理の拡張としての非古典論理.
古典論理の拡張としての非古典論理では、基本的に、古典論理のすべての定理がその論理体系でも定理となる。
古典論理の代替としての非古典論理.
古典論理の代替としての非古典論理は、基本的に、古典論理の定理のいくつかがその論理体系では定理でない。
なお、古典論理や直観主義論理のシークエント計算による定式化において、構造規則を制限することによって得られる論理を部分構造論理とよび、線形論理、適切さの論理や、ウカシェヴィチの多値論理が含まれる。