线上期刊服务咨询,发表咨询:400-808-1701 订阅咨询:400-808-1721

Lukasiewicz n 值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计

张家录; 吴霞 电子学报 2012年第10期

摘要:在hflcasiewiczn值命题逻辑系统中引人命题公式的一般真度概念并讨论其性质,说明一般真度满足Kolmogomv公理.在形式推演中,引进公式的不可靠度和前提的必要度概念,证明在Lukasiewiczn值逻辑系统中,一个有效推理的结论的不可靠度不超过各前提的不可靠度与其必要度的乘积之和.通过不可靠度在全体公式集上建立逻辑伪距离空间,证明逻辑伪距离空间中没有孤立点,利用逻辑伪距离在全体公式集F(s)中提出两种不同形式的近似推理模式.

关键词:lukasiewiczn值逻辑系统真度不可靠度

单位:湘南学院数学系; 湖南郴州423000

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

电子学报

北大期刊

¥1272.00

关注 25人评论|0人关注