首页> 中文期刊> 《中国学术期刊文摘》 >数理逻辑与数学基础有限可补格上的一阶格值逻辑几个性质

数理逻辑与数学基础有限可补格上的一阶格值逻辑几个性质

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

建立了格值逻辑的正规性概念，证明了具有强特征式的有限可补格上的一阶格值逻辑是正规逻辑，并证明了Fraise定理在其上成立．

著录项

来源
《中国学术期刊文摘》 |2008年第9期|10|共1页
作者
童雪; 别荣芳;
展开▼
作者单位

华北电力大学数理系,北京102206;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类群的推广;
关键词
强特征式; 正规逻辑系统; 格值模型论;

相似文献

中文文献
外文文献
专利

1. 一阶格值逻辑上的Mostowski定理 [J] . 童雪 . 华北电力大学学报(自然科学版) . 2003,第002期
2. 基于有限格蕴涵代数的格值命题逻辑语法系统 [J] . 马骏 ,高雅 ,秦克云 . 西南交通大学学报 . 2004,第001期
3. 基于有限格蕴涵代数的格值命题逻辑语义系统 [J] . 马骏 ,秦克云 ,徐扬 . 西南交通大学学报 . 2002,第005期
4. 格值一阶逻辑系统LF(X)中的α-有序语义归结 [J] . 张家锋 ,曹发生 . 四川理工学院学报（自然科学版） . 2015,第005期
5. 基于格值一阶逻辑LF（X）的多元α-归结原理的注记 [J] . 刘熠 ,徐扬 ,贾海瑞 . 计算机工程与应用 . 2015,第014期
6. 格值逻辑与医学专家系统 [C] . 刘云丰 ,周建永 . 中国医药信息学会议 . 1987
7. 基于格蕴涵代数的格值一阶逻辑L中的不确定性推理研究 [A] . 陈树伟 . 2005

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号