抄録
本文では, いくつかの区間真理値の和集合として定義されるファジィ真理値の代数構造について述べる. このようなファジィ真理値を多重区間真理値と呼ぶ. 多重区間真理値は, 江本と菊池により同時期にかつ異なる発想から発表された. 多重区間真理値は, いくつかの区間真理値の和集合として定義されるので, 一般に凸とはならない. 多重区間真理値上に3つの論理演算を定義する.これらは, 数値真理値における典型的な論理演算, min, max, 1 - xにZadehの拡張原理を適用して多重区間真理値上に拡張定義される. 多重区間真理値を取る変数と拡張定義した3つ論理演算の結合で実現される論理式が表現する関数を多重区間論理関数と呼ぶ. 本文では, 2変数3値の多重区間論理関数に焦点を当て,その諸性質を明らかにする.
