期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

公理系统GB的布尔值模型被引量：1

下载PDF

导出

摘要本文在V^(B)的基础上,构造了模型Δ^(B),定义了集合论的有穷公理系统GB的每个公式的布尔值(GB是比ZFC丰富的理论)。证明了Δ^(B)是GB的布尔值模型。即:GB的每条公理的布尔值为1。

作者李娜

出处《河南大学学报（自然科学版）》 CAS 1989年第4期53-57,共5页 Journal of Henan University:Natural Science

关键词公理系统GB 布尔值模型布尔类

分类号 O144 [理学—基础数学]

引文网络
相关文献

同被引文献8

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
4李娜.关于模态命题系统的一种布尔值模型[J].南京大学学报（数学半年刊）,2001,18(1):109-113. 被引量：5
5李娜.道义逻辑D──系统的一种布尔值模型[J].河南大学学报（自然科学版）,2002,32(2):10-13. 被引量：1
6李娜,何建锋.一种处理集合论悖论的新方法[J].哲学动态,2017(11):93-98. 被引量：4
7李娜.20世纪集合论的主要方法[J].中山大学学报论丛,2000,20(1X):20-24. 被引量：2
8孟晓青.Topos理论简介[J].数学进展,1992,21(1):1-24. 被引量：10

引证文献1

1李娜,何建锋.论集合论的模型[J].逻辑学研究,2019,12(1):49-69. 被引量：2

二级引证文献2

1孟兵兵,周健勇.杭州地铁OD数据客流时空分布特性分析[J].软件导刊,2021,20(11):158-162. 被引量：4
2贾青,刘新文.哲学逻辑与逻辑哲学——2019年逻辑学研究述评[J].中国哲学年鉴,2020(1):234-240.

1李娜.GB的布尔值模型[J].科学通报,1990,35(1):16-18. 被引量：8
2李娜.△^（B）中的混合与混合原理[J].洛阳师专学报（自然科学版）,1991,6(10):41-44.
3李娜.公理系统的布尔值模型[J].河南大学学报（自然科学版）,1998,28(2):37-42. 被引量：1
4李娜.聚合公理系统COG的布尔值模型[J].河南大学学报（自然科学版）,1993,23(2):39-42. 被引量：4
5陈练寒.（ZFC＋GCH＋7Suslinw2树）是协调的[J].葛洲坝水电工程学院学报,1989,11(1):83-88.
6栾静闻.聚合公理系统的布尔值模型[J].数学杂志,1997,17(2):207-213. 被引量：2
7李娜.模态系统S4.1的协调性[J].苏州科技学院学报（自然科学版）,2004,21(2):13-16.
8李娜.关于严格蕴涵系统的布尔值模型[J].南京大学学报（数学半年刊）,2003,20(2):161-168. 被引量：4
9沈恩绍.有限弱力迫的布尔值模型表示[J].北京师范大学学报（自然科学版）,1990,26(3):9-17.
10李娜.道义逻辑D──系统的一种布尔值模型[J].河南大学学报（自然科学版）,2002,32(2):10-13. 被引量：1

河南大学学报（自然科学版）

1989年第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...

;

使用帮助返回顶部