Extended IF逻辑的命题演算系统

• 作者: 许文艳
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: Cirquent演算 可计算性逻辑 Extended IF逻辑
• 年，卷（期）: 2015,（9）
• 所属期刊栏目: 模式识别与人工智能
• 页码范围: 2278-2285
• 页数: 8页
• 分类号: TP181
• 字数: 9163字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004705

摘要

Extended IF逻辑是一阶逻辑的扩张,其主要特点是可表达量词间的相互依赖和独立关系,但其命题部分至今没有得到公理化.基于Cirquent演算方法,给出了一个关于Cirquent语义(命题水平)可靠完备的形式系统.该系统能够很好地解释和表达命题联结词间的相互依赖和独立关系,从而使Extended IF逻辑在命题水平得到了真正意义上的公理化.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许文艳	西安电子科技大学数学与统计学院	3	45	2.0	3.0