Fuzzy logic
多値論理では文の真理値として真と偽以外のものも許容される。（例えば「真でもあり偽でもある」とか「真でも偽でもない」がよく追加される。またファジィ論理では真と偽の間の無限にこまかい「真実である度合い」が導入される。）これらの論理学ではしばしば命題計算とは異なった計算手法が必要になる。