模型论及其哲学思考
【参考文献】
相关期刊论文 前1条
1 郝宁湘;数学本体论与数学有效性新探──兼答郑毓信、祝青山、王宪昌同志[J];科学技术与辩证法;1995年04期
【共引文献】
相关期刊论文 前10条
1 刘吉强,沈复兴;可数模型的ψ-分式模型[J];北京师范大学学报(自然科学版);1997年04期
2 陈磊,沈复兴;完全二叉树理论的模型及性质[J];北京师范大学学报(自然科学版);2004年02期
3 周明宏,沈复兴;p阶拟循环群理论的模型论性质[J];北京师范大学学报(自然科学版);2005年01期
4 陈国龙;关于模型个数的注记[J];北京师范大学学报(自然科学版);1996年04期
5 陈国龙;域上无限上三角方阵的逆[J];淮北煤师院学报(自然科学版);1999年04期
6 罗明,胡佳琦,费奇;ODSS中分布协调建模问题的知识级分析[J];华中理工大学学报;1999年09期
7 李未,张玉平;描述认识进程的抽象逻辑[J];中国科学E辑;1996年02期
8 叶文,杨叔子;基于过程代数的智能机器人系统建模[J];机器人;1998年01期
9 王世强;Hilbert零点定理的推广[J];科学通报;1989年20期
10 钱磊,周以铨;中介逻辑的模型论性质[J];南京航空航天大学学报;1992年03期
相关博士学位论文 前6条
1 顾红芳;常识推理中非单调逻辑的研究[D];南京航空航天大学;2001年
2 王拥军;需求工程中的不确定性研究[D];西北工业大学;2002年
3 王学芳;基于格蕴涵代数的格值逻辑及其模型论的研究[D];西南交通大学;2004年
4 敖丽敏;交互式过程性知识表示与获取及其实现的研究[D];中国农业大学;2005年
5 袁家海;电力与经济发展关系研究[D];华北电力大学(北京);2006年
6 季炳伟;面向并行设计的建模方法研究[D];浙江大学;2007年
相关硕士学位论文 前9条
1 刘红兵;模糊错误逻辑研究及其在防范证券投资风险中的应用[D];广东工业大学;2000年
2 张宇鹏;160电影经纬仪操控训练模拟仿真系统的研究[D];长春理工大学;2002年
3 黄川;非线性信念变化的研究[D];南京航空航天大学;2004年
4 吴会波;基于产品过程模型的集成化企业建模方法的研究[D];河北工业大学;2004年
5 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年
6 刘晓峰;关于占先结构的相似性研究[D];南京航空航天大学;2005年
7 郑春花;高中生化学信息迁移题的表征研究[D];扬州大学;2005年
8 唐芳芳;哥德尔定理的意义[D];清华大学;2005年
9 易锋;概念模型的结构化表示[D];华中科技大学;2006年
【二级参考文献】
相关期刊论文 前2条
1 祝青山;数学的“有效性”真的不可思议吗?──兼与郝宁湘同志商榷[J];科学技术与辩证法;1994年04期
2 王宪昌;数学的有效性与数学文化观──兼与郝宁湘同志商榷[J];科学技术与辩证法;1995年01期
【相似文献】
相关期刊论文 前10条
1 梁真;何向东;;社会群体中的偏好逻辑[J];逻辑学研究;2011年02期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
相关会议论文 前10条
1 任燕;王洪涛;;二值命题逻辑中的极大命题集与完备命题集[A];第六届中国不确定系统年会论文集[C];2008年
2 李小五;;无穷逻辑简史[A];1997年逻辑研究专辑[C];1997年
3 张立英;周北海;;基于主谓项涵义联系的概称句推理的几个逻辑[A];2004年逻辑研究专辑[C];2004年
4 杨子京;;从开放的角度看悖论问题[A];1996年逻辑研究专辑[C];1996年
5 邹崇理;;话语表现理论DRT述评[A];1998年逻辑研究专辑[C];1998年
6 张维真;;试论“基数量词”[A];1993年逻辑研究专辑[C];1993年
7 王世强;;浅议数理逻辑对数学研究的贡献[A];1993年逻辑研究专辑[C];1993年
8 弓肇祥;季冠芳;;哲学逻辑的几个理论问题[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年
9 李小五;;对策语义与无穷深逻辑[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
10 李小五;;无穷逻辑与LS定理[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年
相关重要报纸文章 前1条
1 戈莱格·莱斯特尔 墨尔本大学哲学、人类学和社会研究学院,焦兵编译,熊明辉校;《澳洲逻辑学杂志》简介[N];中国社会科学报;2009年
相关博士学位论文 前1条
1 张世宁;广义量词理论研究[D];南开大学;2010年
相关硕士学位论文 前2条
1 王志艳;类比与科学发现[D];华南师范大学;2005年
2 顾锋强;蒙太格语法研究述评[D];西南大学;2006年
本文编号:2559502
本文链接:https://www.wllwen.com/shekelunwen/ljx/2559502.html