将符号化计算树逻辑中Boole函数的Shannon展开式做了推广,研究了三值逻辑系统L3＊中由公式导出的三值R0函数的展开式,给出了L3＊中逻辑......

将符号化计算树逻辑中的Shannon展开式做了推广，在n值Lukasiewicz逻辑系统Ln中，研究了由逻辑公式导出的n值McNaughton函数的展开式，给......

计量逻辑学从基本概念的程度化入手,系统地引入了公式的真度理论和公式间的相似度理论,定义了公式间的伪距离,最终建立起了逻辑度......