区间真值逻辑的代数结构

区间真值逻辑是一种模糊逻辑，其真值是由单位区间（０，１）中的数对组成，这一对数分别解释为某个问题的真度和含糊度，也可解释为对某个陈肯定度和拒绝度，Ｍｕｋａｉｄｏｎｏ在区间真值集上引入了两种序关系，一种是关于“真”，别一种是关于“含糊”。本文详细地讨论区间具值逻辑系统关于这两种序关系的代数结构，引入了一种新型代数系统－Ｉｎｔｅｒｖａｌ代数，最后讨论了区间真值逻辑函数。