王国俊论文

区间值模糊命题逻辑及其广义重言式
陈图云,张宇卓,廖士中[1]2003年在《区间值模糊命题逻辑的最大子代数及其广义重言式》文中进行了进一步梳理将S-型蕴涵算子改为R0-蕴涵算子,从而找到区间值模糊逻辑I[0,1]的一个最大子代数IQ,进而将王国俊教授在逻辑系统W中的广义重言式理论推广应用到IQ中。张宇卓[2]2003年在《区间值模糊...
一类n值命题逻辑中命题的真度理论及近似推理理论
秦晓燕[1]2015年在《一阶逻辑系统的计量化研究》文中进行了进一步梳理计量逻辑是研究逻辑理论程度化的一个重要研究方向。按照研究对象的不同,可以分为计量命题逻辑与计量一阶逻辑。其中关于计量命题逻辑的理论研究已有大量研究成果,而关于计量一阶逻辑的理论研究却只有凤毛麟角。本文在一阶逻辑系统中从整体与局部...