首页> 中文期刊> 《纺织高校基础科学学报》 >二值命题逻辑F(Sn)在可证等价意义下的一般表示

二值命题逻辑F(Sn)在可证等价意义下的一般表示

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

探讨二值命题逻辑公式及逻辑等价公式统一性问题.利用二值命题逻辑中公式逻辑等价与可证等价的一致性,借助于赋值方法得到了命题在可证等价意义下的一般表示,给出了全体命题根据可证等价关系作商得到的所有等价类的代表元的统一表示形式.

著录项

来源
《纺织高校基础科学学报》 |2008年第4期|383-388397|共7页
作者
王永安;
展开▼
作者单位

陕西师范大学;

数学与信息科学学院;

陕西;

西安;

710062;

西安文理学院;

数学系;

陕西;

西安;

710065;

展开▼
原文格式 PDF
正文语种 chi
中图分类命题演算、谓词演算、类演算;
关键词
二值命题逻辑; 赋值; 可证等价; 一般表示;

相似文献

中文文献
外文文献
专利

1. 二值命题逻辑中限制逻辑等价关系及其应用 [J] . 亓正坤 ,王廷明 ,丁洁玉 . 东北师大学报：自然科学版 . 2012,第2期
2. 二值命题逻辑中命题真度相同与逻辑等价的关系 [J] . 王永安 ,王国俊 ,杨合俊 . 西安文理学院学报（自然科学版） . 2008,第001期
3. 二值命题逻辑中的三种Γ近似推理模式及其等价性 [J] . 刘保翠 ,王国俊 . 模糊系统与数学 . 2008,第2期
4. 二值命题逻辑F(Sn)中的基本推理链 [J] . 王永安 . 西安文理学院学报（自然科学版） . 2009,第004期
5. 二值命题逻辑中伪距离的真度表示及其应用 [J] . 王廷明 ,王爱青 . 青岛理工大学学报 . 2008,第003期
6. 中介命题逻辑的一种无穷值语义模型及其意义 [C] . 潘正华 . 2007全国理论计算机科学学术年会 . 2007
7. 基于语言真值格蕴涵代数的格值命题逻辑及其归结自动推理研究 [A] . 邹丽 . 2010

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号