自然扩张论文

非精确谓词逻辑推理潘文全摘要：非精确概率逻辑是经典命题逻辑的扩张，因为它的元性质都是由命题逻辑的元性质推广而来的。自然扩张推广了命题逻辑的演绎过程；融贯性推广了命题逻辑的演绎封...