ファジィ時相演算をもつ有限ファジィ様相論理の公理化

抄録

「近い将来」、「遠い将来」を数値化したファジィ時相暗算(fuzzy temporal operation)をもつ有限ファジィ様相論理の公理系を与え、健全性の定理および完全性の定理を証明する。