期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

关于模态命题系统的一种布尔值模型被引量：5

ON A BOOLEAN-VALUED MODEL OF THE MODAL PROPOSITIONAL SYSTEM

下载PDF

导出

摘要本文首先定义了模态命题公式□a的布尔值,然后证明:模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值模型.

作者李娜

机构地区中山大学逻辑与认知研究所

出处《南京大学学报（数学半年刊）》 CAS 2001年第1期109-113,共5页 Journal of Nanjing University(Mathematical Biquarterly)

基金普通高等学校社会社会科学重点研究基地基金

关键词布尔值布尔值模型模态公理正规系统模态命题系统布尔代数严格蕴涵系统

分类号 O141.1 [理学—基础数学]

引文网络
相关文献

参考文献1

1周北海，模态逻辑导论，1997年

同被引文献19

1李娜.聚合公理系统COG的布尔值模型[J].河南大学学报（自然科学版）,1993,23(2):39-42. 被引量：4
2李娜 ,李季 .严格蕴涵系统S3的协调性[J].南京大学学报（数学半年刊）,2005,22(1):23-27. 被引量：1
3李娜,王中明.公理集合论在现代数学发展中的作用[J].自然辩证法研究,1996,12(1):37-38. 被引量：1
4Bell J L. Boolean-Valued Models and Independence Proofs in Set Theory. Oxford University Press, 1979.
5Thomas J. Set Theory. Academic Press,1978.
6周北海.模态逻辑导论[M].北京：中国社会科学出版社,1995年5月..
7周北海.模态逻辑导论.北京:北京大学出版社,1997年6月.
8Bell J L. Boolean-Valued Models and Independence Proofs in Set Theory. Oxford University, Press, 1979.
9Thomas J. Set Theory. Academic Press, 1978.
10王雨田.现代逻辑科学导引.北京:中国人民大学出版社,1988年3月.

引证文献5

1李娜.道义逻辑D──系统的一种布尔值模型[J].河南大学学报（自然科学版）,2002,32(2):10-13. 被引量：1
2李娜,何建锋.论集合论的模型[J].逻辑学研究,2019,12(1):49-69. 被引量：2
3李娜.关于严格蕴涵系统的布尔值模型[J].南京大学学报（数学半年刊）,2003,20(2):161-168. 被引量：4
4李娜.关于模态命题公式4、E和B的布尔值[J].河南大学学报（自然科学版）,2003,33(4):25-28.
5李娜.关于道义逻辑系统的一种布尔值模型[J].南京大学学报（数学半年刊）,2004,21(1):34-42.

二级引证文献7

1李娜.模态系统S4.1的协调性[J].苏州科技学院学报（自然科学版）,2004,21(2):13-16.
2李娜.模态系统P_1的协调性[J].信阳师范学院学报（哲学社会科学版）,2005,25(3):15-19.
3李娜 ,李季 .严格蕴涵系统S3的协调性[J].南京大学学报（数学半年刊）,2005,22(1):23-27. 被引量：1
4李娜,何建锋.论集合论的模型[J].逻辑学研究,2019,12(1):49-69. 被引量：2
5孟兵兵,周健勇.杭州地铁OD数据客流时空分布特性分析[J].软件导刊,2021,20(11):158-162. 被引量：2
6贾青,刘新文.哲学逻辑与逻辑哲学——2019年逻辑学研究述评[J].中国哲学年鉴,2020(1):234-240.
7李娜.关于模态命题系统P_5的协调性[J].河南大学学报（自然科学版）,2003,33(2):13-16. 被引量：2

1李娜.关于模态公理系统P_1-P_5的布尔值[J].河南大学学报（自然科学版）,2001,31(2):12-16. 被引量：2
2李娜.关于严格蕴涵系统的布尔值模型[J].南京大学学报（数学半年刊）,2003,20(2):161-168. 被引量：4
3李娜.关于模态命题系统P_5的协调性[J].河南大学学报（自然科学版）,2003,33(2):13-16. 被引量：2
4李娜 ,李季 .严格蕴涵系统S3的协调性[J].南京大学学报（数学半年刊）,2005,22(1):23-27. 被引量：1
5李娜.关于模态命题公式的一种布尔值[J].中山大学学报（社会科学版）,2003,43(S1):101-104.
6李娜.公理系统的布尔值模型[J].河南大学学报（自然科学版）,1998,28(2):37-42. 被引量：1
7李娜.模态系统S4.1的协调性[J].苏州科技学院学报（自然科学版）,2004,21(2):13-16.
8李娜.关于模态命题公式4、E和B的布尔值[J].河南大学学报（自然科学版）,2003,33(4):25-28.
9沈恩绍.有限弱力迫的布尔值模型表示[J].北京师范大学学报（自然科学版）,1990,26(3):9-17.
10何勇.φ-正则半群上的φ-同余(英文)[J].数学研究,1999,32(1):48-51.

南京大学学报（数学半年刊）

2001年第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部