日常言語の論理の公理化

日常言語の論理(OL)は、クラシック論理を拒否するだけでなく、非クラシック的に有効な原理も受け入れる。OLは非構造的、連言的、矛盾的であり、数学的論理学者にとって非常に興味深い。