一阶逻辑中公理化真度研究

郝娇; 惠小静; 马硕; 金明慧

首页> 中文期刊> 《计算机科学》 >一阶逻辑中公理化真度研究

一阶逻辑中公理化真度研究

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

一阶逻辑是公理系统的标准形式逻辑之一,其中包含的程度化推理等研究内容,是一个研究热点也是难点。文中从一阶逻辑演算的语义理论出发,利用可满足性及完备性定理研究了一阶逻辑中公理化真度。首先给出并、交运算可满足性的定义,其次说明了两个特殊公式与逻辑有效公式以及定理的关系,最后得出与公式等价的前束范式。上述结果将为谓词逻辑程度化研究做准备。

著录项

来源
《计算机科学》 |2021年第s02期|669-671|共4页
作者
郝娇; 惠小静; 马硕; 金明慧;
展开▼
作者单位

延安大学数学与计算机科学学院;

陕西延安716000;

展开▼
原文格式 PDF
正文语种 chi
中图分类数理逻辑（符号逻辑）;
关键词
一阶逻辑; 逻辑有效公式; 可满足性; 定理; 前束范式;

相似文献

中文文献
外文文献
专利

1. 推广规则后一阶逻辑公式的准真度 [J] . 秦晓燕 . 计算机工程与应用 . 2019,第006期
2. 一阶逻辑公式相对真度的计算形式 [J] . 秦晓燕 ,徐扬 . 计算机工程与应用 . 2015,第016期
3. Goguen公理化扩张系统的Γ-k随机真度理论及性质 [J] . 惠小静 ,高晓莉 ,朱乃调 . 电子学报 . 2017,第011期
4. Goguen命题逻辑系统公理化扩张的Γ-k真度理论及性质 [J] . 高晓莉 ,惠小静 ,朱乃调 . 软件学报 . 2017,第007期
5. 一阶逻辑紧致性定理在布尔代数中的强表现形式及等式逻辑中的紧致性 [J] . 杨志红 . 郑州航空工业管理学院学报：社会科学版 . 1994,第002期
6. 文明对话语境中的《论语》公理化诠释 [C] . 甘筱青 ,曹欢荣 . 纪念孔子诞辰2565周年国际学术研讨会暨国际儒学联合会第五届会员大会 . 2014
7. 基于格蕴涵代数的格值一阶逻辑L中的不确定性推理研究 [A] . 陈树伟 . 2005

一阶逻辑中公理化真度研究

摘要

著录项

相似文献

相关主题

期刊订阅