直觉模糊命题逻辑的广义拟重言式及其分类

摘要

通过定义一个蕴涵算子,建立一个直觉模糊命题逻辑系统(I<'2><,0>,┑,V,→<,T>)讨论了系统I<'2><,0>上的广义拟重言式的分类,将王国俊教授的广义重言式理论从一维推广到二维的直觉模糊命题逻辑上.