Goguen命题逻辑系统相关论文
在n值Goguen命题逻辑系统中增加了两类算子对合否定～和△算子,将该系统记为Goguen～,△.在此系统中建立t真度的概念,基于此真度给出了......
期刊
对n值Goguen命题逻辑系统进行公理化扩张记为Goguen~,△。在该系统中添加了新的连接词~,△,给出了Goguen n值命题逻辑系统中命题公......
期刊
首先对n值Goguen命题逻辑进行公理化扩张，Goguen-，Δ，记为∏-，Δ.利用公式的诱导函数给出公式在k（k任取-或Δ）连接词下相对于局部有限理......
摘要:通过增加新的连接词～,△对n值Goguen命题逻辑系统进行公理化扩张,得到Π～,△.在该系统中给出公式的k真度、k相似度与k伪距离的......
本文首先对n值Goguen命题逻辑进行公理化扩张Goguen～,Δ,记为∏～,Δ.利用赋值集的随机化方法,给出公式在k（k取～或Δ）连接词下相对于局部......
