作者:周平 姜明 孙西芃广义量词格蕴涵代数
摘要:讨论格值一阶逻辑系统LF(X)中带广义量词的α-归结,证明了带广义量词的Herbrand-定理,为格值一阶逻辑系统中带广义量词的不确定性自动推理作了理论的准备。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《模糊系统与数学》(CN:43-1179/O1)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《模糊系统与数学》内容涉及:模糊拓扑、模糊代数、模糊分析、模糊测度与积分、模糊逻辑、模糊决策、模糊规划、模糊控制、模糊神经网络、模糊可靠性、模糊图像处理等领域。
统计源期刊
人气 141362 评论 46
省级期刊
人气 106048 评论 63
人气 89528 评论 61
人气 84119 评论 65