收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

模型~R△~(β)的一些性质

李娜  
【摘要】:正参考文献[1]给出了集合论的有穷公理系统GB 的广义布尔值模型R△(B)。本文讨论:(1)R△(B)中的混合原理;(2)R△(B)中的序数和基数。在下面的讨论中,我们总是假设R△(B)是GB的广义布尔值模型 (即:这里的B=(?)Bλ是一个完全的布尔代数

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 郑恒武;;ZY3代数的一个公理系统[J];曲阜师范大学学报(自然科学版);1989年02期
2 王泽农;物理学中的公理化方法[J];南京师大学报(自然科学版);1996年04期
3 杨晓斌,叶继昌;经典公理系统在模糊命题演算中的不和谐性[J];淄博学院学报(自然科学与工程版);2000年01期
4 毛华,刘三阳;拟阵的几个公理系统与其自同构群的关系[J];西安电子科技大学学报;2001年01期
5 许道云;;三个公理系统的等价性[J];贵州大学学报(自然科学版);1986年04期
6 郭垒;进化论演绎公理系统与自组织理论[J];科学技术与辩证法;2004年06期
7 孙宗明;;等价关系公理系统的若干等价形式[J];曲阜师范大学学报(自然科学版);1981年04期
8 孙文植;一个带本元的新集合论公理系统的相容性[J];数学年刊A辑(中文版);1984年01期
9 张小红;杜晓红;;SD代数与广义SD代数[J];沈阳理工大学学报;1992年03期
10 王利耀;论数学真理的检验标准[J];江淮论坛;1994年06期
11 苏远清;关于实数的一个完备公理系统[J];中南林学院学报;1993年02期
12 陶理;;论公理方法在科学认识中的作用[J];东北师大学报(自然科学版);1993年04期
13 杨永保;;有界BCK-代数的一个简化公理系统[J];西北师范大学学报(自然科学版);1993年03期
14 ;工程数学[J];中国无线电电子学文摘;2002年03期
15 赵祖军;;试论地理学公理系统[J];安徽师范大学学报(自然科学版);1984年02期
16 毛澍芬;有限射影几何[J];丽水师范专科学校学报;1987年S2期
17 吴小平;平面质点几何公理系统∑的一个模型[J];重庆师范学院学报(自然科学版);1996年01期
18 陈重穆,袁振邦;关于群的一个定义[J];西南师范大学学报(自然科学版);1979年01期
19 巩子坤,李忠如;数学真理的再思考[J];枣庄师范专科学校学报;2003年05期
20 柳劲松;;什么是层叠集合观[J];高等数学研究;2007年01期
中国重要会议论文全文数据库 前1条
1 潘国民;李刚强;邱旋;;基于ePCANS模型的C2组织本体建模方法研究[A];第13届中国系统仿真技术及其应用学术年会论文集[C];2011年
中国博士学位论文全文数据库 前10条
1 舒新峰;投影时序逻辑的完备公理系统与形式验证[D];西安电子科技大学;2010年
2 刘万伟;扩展时序逻辑的推理及符号化模型检验技术[D];国防科学技术大学;2009年
3 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年
4 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年
5 李明泉;模糊描述逻辑F-SHIQ公理体系及其推理机制的研究[D];天津大学;2008年
6 朱涵;模型独立的移动演算理论[D];上海交通大学;2009年
7 肖文洁;知识表示与推理的若干问题研究[D];南京航空航天大学;2010年
8 孙健;金融资产的离散过程动态风险度量研究[D];哈尔滨工业大学;2007年
9 杨德仁;面向复杂自适应系统的本体构造方法及其若干关键技术研究[D];华东师范大学;2008年
10 徐贤;高阶进程演算的互模拟理论和公理化的研究[D];上海交通大学;2008年
中国硕士学位论文全文数据库 前10条
1 谭琳;代数规格说明的半自动化辅助构造工具的设计和实现[D];暨南大学;2008年
2 董护斌;面向实时系统的实时区域时态逻辑:RRTL[D];西北大学;2002年
3 荣昆;认证逻辑系统的可靠性研究[D];解放军信息工程大学;2006年
4 徐仁义;RBAC模型的形式化研究[D];解放军信息工程大学;2006年
5 陆志浩;多Agent系统合作认知逻辑的研究[D];南京航空航天大学;2008年
6 强毅;欧几里德几何体系中运动与中学教学[D];首都师范大学;2009年
7 马朋云;本体公理推理及其在交通领域中的应用[D];大连交通大学;2010年
8 黄萍;解读赖欣巴哈的逻辑哲学思想[D];西南大学;2006年
9 宋小华;基于固定视点的空间遮蔽模型[D];吉林大学;2007年
10 黄金华;正规模态逻辑的自然演绎及其证明论性质探微[D];华南师范大学;2007年
中国重要报纸全文数据库 前4条
1 王华悟王忠勋;由“达维多定律”引发的思考[N];解放军报;2008年
2 张文修(本文作者系西安交通大学经济与金融学院教授);经济学与数学联姻[N];中国财经报;2002年
3 丁一;关于哥德巴赫猜想的三个悖论[N];光明日报;2002年
4 记者 胡其峰;社科院哲学研究所研究员王树人:象思维是文化创新的原动力[N];光明日报;2010年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978