抄録
ファジィ真理値の代数構造に関する先行研究は凸なファジィ真理値を対象としたものがほとんどであった.本文では,非凸なファジィ真理値について考察する.多重区間真理値は,区間真理値の和として定義されるため,一般に多重区間真理値は非凸となる.本文では,最も単純な3値多重区間真理値を研究対象とする.3値多重区間真理値とは,集合{0, 1, 2}の空でない部分集合のことである.このとき,真理値{0, 2}は非凸なファジィ真理値となる.ザデーの拡張原理により,Min,Maxおよび否定演算を多重区間真理値上の演算に拡張する.本文では,3値多重区間真理値を取る変数と3つの演算の結合による論理式が表現する論理関数(3値多重区間論理関数)の諸性質について論じる.特に,3値多重区間論理関数が{0}, {1}, {2}, {0, 2}の4つの多重区間真理値で一意に決定付けられることを示す.