期刊导航
期刊开放获取
vip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
关于严格蕴涵系统的布尔值模型
被引量：
4
ON A BOOLEAN-VALUED MODEL OF THE STRICT IMPLICATION SYSTEM
在线阅读
下载PDF
职称材料
导出
摘要
本文是为Lewis的五个严格蕴涵系统建立布尔值模型.为此,本文首先定义了模态公式口α的布尔值‖口α‖;其次证明在该定义下,模态逻辑的严格蕴涵系统S1和S2的所有公理的布尔值为1;最后证明集合论的ZFC公理系统的布尔值模型VB(B是一个完全的布尔代数)也是严格蕴涵系统S1和S2的布尔值模型.
作者
李娜
机构地区
中山大学逻辑与认知研究所
出处
《南京大学学报（数学半年刊）》
CAS
2003年第2期161-168,共8页
Journal of Nanjing University(Mathematical Biquarterly)
关键词
严格蕴涵系统
布尔值
布尔值模型
分类号
O144 [理学—基础数学]
引文网络
相关文献
节点文献
二级参考文献
1
参考文献
3
共引文献
4
同被引文献
15
引证文献
4
二级引证文献
3
参考文献
3
1
李娜.
关于模态命题系统的一种布尔值模型[J]
.南京大学学报（数学半年刊）,2001,18(1):109-113.
被引量：5
2
Bell J L. Boolean-Valued Models and Independence Proofs in Set Theory. Oxford University Press, 1979.
3
Thomas J. Set Theory. Academic Press,1978.
二级参考文献
1
1
周北海，模态逻辑导论，1997年
共引文献
4
1
李娜.
道义逻辑D──系统的一种布尔值模型[J]
.河南大学学报（自然科学版）,2002,32(2):10-13.
被引量：1
2
李娜,何建锋.
论集合论的模型[J]
.逻辑学研究,2019,12(1):49-69.
被引量：2
3
李娜.
关于模态命题公式4、E和B的布尔值[J]
.河南大学学报（自然科学版）,2003,33(4):25-28.
4
李娜.
关于道义逻辑系统的一种布尔值模型[J]
.南京大学学报（数学半年刊）,2004,21(1):34-42.
同被引文献
15
1
李娜.关于模态命题系统P4的协调性(待发表)[J]..
2
[1]Bell J L.Boolean-valued Models and Independence Proofs in Set Theory[M]. Oxford University Press,1979.
3
[2]Thomas J. Set Theory[M]. Academic Press,1978.
4
Bell J L. Boolean -valued Models and Independence Proofs in Set Theory[ M]. London:Oxford University Press, 1979.
5
Thomas J. Set Theory [ M ]. London: Academic Press, 1978.
6
Bell J L.Boolean-valned Models and Models and Independcnce Proofs in Set in Set Theory[M].()xford University Press.1979.
7
Thomas J.Set'Thcory[M].Academic Press.1978
8
周北海.模态逻辑导论[M].北京:中国社会科学出版社,1995..
9
李娜.关于模态命题系统P,的协调性[Z].,..
10
李娜.关于严格蕴涵系统S4的协调性[A]..2004中国哲学大会论文集[C].,..
引证文献
4
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
李娜.
关于模态命题系统P_5的协调性[J]
.河南大学学报（自然科学版）,2003,33(2):13-16.
被引量：2
二级引证文献
3
1
李娜 ,李季 .
严格蕴涵系统S3的协调性[J]
.南京大学学报（数学半年刊）,2005,22(1):23-27.
被引量：1
2
李娜,何建锋.
论集合论的模型[J]
.逻辑学研究,2019,12(1):49-69.
被引量：2
3
李娜.
关于模态命题公式4、E和B的布尔值[J]
.河南大学学报（自然科学版）,2003,33(4):25-28.
1
李娜 ,李季 .
严格蕴涵系统S3的协调性[J]
.南京大学学报（数学半年刊）,2005,22(1):23-27.
被引量：1
2
李娜.
公理系统的布尔值模型[J]
.河南大学学报（自然科学版）,1998,28(2):37-42.
被引量：1
3
李娜.
模态系统S4.1的协调性[J]
.苏州科技学院学报（自然科学版）,2004,21(2):13-16.
4
李娜.
关于模态命题系统的一种布尔值模型[J]
.南京大学学报（数学半年刊）,2001,18(1):109-113.
被引量：5
5
李娜.
关于模态命题公式4、E和B的布尔值[J]
.河南大学学报（自然科学版）,2003,33(4):25-28.
6
李娜.
关于模态公理系统P_1-P_5的布尔值[J]
.河南大学学报（自然科学版）,2001,31(2):12-16.
被引量：2
7
沈恩绍.
有限弱力迫的布尔值模型表示[J]
.北京师范大学学报（自然科学版）,1990,26(3):9-17.
8
李娜,刘华珂.
关于严格蕴涵系统的布尔值模型（续）[J]
.Chinese Quarterly Journal of Mathematics,2004,19(4):346-349.
9
李娜.
关于模态命题系统P_5的协调性[J]
.河南大学学报（自然科学版）,2003,33(2):13-16.
被引量：2
10
李娜.
道义逻辑D──系统的一种布尔值模型[J]
.河南大学学报（自然科学版）,2002,32(2):10-13.
被引量：1
南京大学学报（数学半年刊）
2003年 第2期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部
