ユニノルムに基づくファジィ論理と構造規則

抄録

MTL(monoidal t-norm based logic)より弱いファジイ論理として，部分構造論理の観点から構造規則weakeningを制限することにより，ファジィ論理ULを定式化した．また，ULがprelinearity conditionを満足する可換なresiduated latticeのクラスとして定義されるUL代数に対して完全であること，また，部分構造論理FLeのprelinearity axiomによる拡張体系となることを示した．