多値論理
 | この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。（2019年12月） |
多値論理（たちろんり）とは、真理値の値を、いわゆる真偽値すなわち真と偽の2個だけでなく、3個あるいはそれ以上の多数の値とした論理体系で、非古典論理の一種である。
様々な「多値」
多値論理の背景のひとつに『真』『偽』以外に『不明』というのもあってよいのではないかという発想がある。そこから直接出てくるものは3値論理であるが、3個というのはどうにも収まりが悪く、4つの真理値を持つ体系も研究された。更にもっと多くの有限個、あるいは無限個の真理値を持つ体系などもある。無限個の真理値としては、その集合を、自然数全体と見ると自然なもの、実数全体と見ると自然なもの、0から1までの間の実数と見ると自然なもの、といったものがある。
概要
真偽値全体の束であるリンデンバウム代数としての研究が行われてきた。 なお、多値論理の一つであるウカシェヴィチの論理は、部分構造論理との関係で、最近よく研究されている。
ウカシェヴィチの論理では、真偽値として、0～1の値をとる。（
「Many-valued logic」の例文・使い方・用例・文例
- Many-valued logicのページへのリンク
