首页> 中文期刊>逻辑学研究 >论正规命题逻辑的析取性质

论正规命题逻辑的析取性质

开具论文收录证明 >>

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

页面导航

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

摘要

析取性质是一个逻辑的构造性特征的重要体现.严格蕴涵命题逻辑(正规命题逻辑)是正规模态逻辑的严格蕴涵片段.本文研究了正规命题逻辑的析取性质,运用Kleene slash给出了析取性质的纯句法刻画条件.对于带有持续性公理的正规命题逻辑,本文给出了其析取性质的一个充分的语义条件.

著录项

来源
《逻辑学研究》|2015年第2期|1-12|共12页
作者
马明辉;
展开▼
作者单位

西南大学逻辑与智能研究中心;

展开▼
原文格式 PDF
正文语种 chi
中图分类
关键词
入库时间 2022-08-17 16:07:19

相似文献

中文文献
外文文献
专利

1. 命题逻辑主析取(合取)范式的代数化求解 [J] . 王金亮 ,许艳丽 ,赵俊雅 . 聊城大学学报（自然科学版） . 2010,第002期
2. 格值命题逻辑系统中广义文字的正规性 [J] . 何星星 ,徐扬 ,李莹芳 . 计算机工程与应用 . 2012,第010期
3. 关于正规模态命题逻辑系统的完全性证明 [J] . 张法清 . 毕节学院学报 . 2009,第004期
4. 具有析取性质的分配格的拓扑表示及性质 [J] . 刘蔚萍 ,贾武 . 数学杂志 . 1998,第004期
5. 解决非正规用工问题的务实思路和方法——论非正规用工的市场特征、社会性质和应对策略 [J] . 冯同庆 . 中国劳动关系学院学报 . 2012,第004期
6. 格值命题逻辑公式的一些性质 [C] . 杨任德 . 中国系统工程学会模糊数学与模糊系统委员会第五届年会 . 1990
7. 正规可遮空间和正规弱θ-可加空间的性质研究 [A] . 康素玲 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号