模糊模态命题逻辑及其广义重言式

论文简介

首先讨论广义泛代数理论,引入变维运算和广义型的概念,并进而给出了广义泛代数的定义.随后,给出模糊模态命题逻辑的概念,并定义了模糊模态命题运算.最后,以泛代数理论为基础给出M(W)系统的定义,并讨论了相应系统中广义重言式的性质及其分类,证明了系统M(W)只有三种广义重言式.

论文截图

版权：如无特殊注明，文章转载自网络，侵权请联系cnmhg168#163.com删除！文件均为网友上传，仅供研究和学习使用，务必24小时内删除。