知识蕴涵模态逻辑系统
【参考文献】
相关期刊论文 前3条
1 杜国平;马亮;;哲思逻辑的判定问题[J];安徽大学学报(哲学社会科学版);2007年05期
2 杜国平;;哲思逻辑——一个形而上学内容的公理体系[J];东南大学学报(哲学社会科学版);2007年04期
3 杜国平;;经典逻辑视野中的弗协调逻辑[J];华南师范大学学报(社会科学版);2007年05期
【共引文献】
相关期刊论文 前10条
1 杜国平;;知识蕴涵时态逻辑系统[J];安徽大学学报(哲学社会科学版);2009年05期
2 付敏;;语义封闭性、“真矛盾论”与“悖论逻辑”[J];安徽大学学报(哲学社会科学版);2009年05期
3 李娜;;模态哲思逻辑[J];重庆工学院学报(社会科学版);2008年11期
4 陈晓华;;不同形式假言易位之差异[J];重庆工学院学报(社会科学版);2009年09期
5 杜国平;;哲思逻辑的扩充及其应用[J];广西大学学报(哲学社会科学版);2011年02期
6 万小龙;;经典逻辑命题联结词的泛函分析初探——一元算符是否可能穷尽?[J];安徽大学学报(哲学社会科学版);2011年06期
7 杜国平;;知识蕴涵直觉主义逻辑系统[J];东南大学学报(哲学社会科学版);2012年02期
8 杜国平;;经典逻辑视野中的弗协调逻辑[J];华南师范大学学报(社会科学版);2007年05期
9 杜国平;;知识蕴涵逻辑系统[J];逻辑学研究;2008年02期
10 苏愉仁;贾春华;;弗协调逻辑与《金匮要略》“方证论治系统”[J];辽宁中医杂志;2010年07期
相关博士学位论文 前1条
1 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院(成都计算机应用研究所);2006年
相关硕士学位论文 前1条
1 何雄就;“偶然”逻辑特性的研究[D];南京大学;2011年
【相似文献】
相关期刊论文 前10条
1 张殿尉;王潇;;逻辑是可修正的吗?[J];内蒙古农业大学学报(社会科学版);2007年04期
2 姜成林;应用逻辑——现代逻辑的新发展[J];社会科学辑刊;1988年05期
3 张小燕;张国军;;皮亚杰心理逻辑探析[J];江海学刊;2007年03期
4 秦玮远;;“怪论”之说纠谬[J];南方论刊;2007年09期
5 马佩;;也谈逻辑真理的可错性问题——与王路教授商榷[J];哲学研究;2009年01期
6 赵鹏;姚从军;;三值逻辑系统的分析与比较[J];毕节学院学报;2011年06期
7 周斌;阿伯拉尔关于动词‘be’的分析及他的推论[J];复旦学报(社会科学版);1990年06期
8 张学立;金岳霖的逻辑一元论思想探析[J];人文杂志;1998年05期
9 杨熙龄;“不协调逻辑”小议[J];国外社会科学;1981年07期
10 约瑟夫·拉卢米亚,新蔚;常规的科学和革命的科学——库恩和他的批评者[J];第欧根尼;1992年02期
相关会议论文 前10条
1 赵总宽;;辩证模态命题逻辑系统DMT与实然世界语义学[A];1997年逻辑研究专辑[C];1997年
2 李小五;;沈有鼎论直观与逻辑[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年
3 张学立;;从逻辑哲学的观点看金岳霖先生的逻辑信条[A];1997年逻辑研究专辑[C];1997年
4 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
5 朱水林;;从外延逻辑到内涵逻辑——现代逻辑发展的一个重要转向[A];1994年逻辑研究专辑[C];1994年
6 ;晏成书教授在京逝世[A];1995年逻辑研究专辑[C];1995年
7 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年
8 张小燕;;皮亚杰对逻辑学与心理学之间关系的重新认识[A];第三次金岳霖学术思想研讨会论文集[C];2005年
9 ;冯契教授在沪逝世[A];1995年逻辑研究专辑[C];1995年
10 李小五;;虚拟条件句逻辑的恰当性[A];1998年逻辑研究专辑[C];1998年
相关重要报纸文章 前10条
1 陈波;逻辑学的2005年[N];光明日报;2006年
2 林可济;从西方思路到中国韵味[N];中华读书报;2010年
3 本报记者 贺修平;云大王瑞探究“拉母赛理论”取得实质性突破[N];云南科技报;2009年
4 周山;中国究竟有没有“逻辑”[N];文汇报;2011年
5 黄雪斌;农民逻辑学家的大我人生[N];人民政协报;2001年
6 尼克;王浩和他的朋友们[N];东方早报;2011年
7 中国社会科学院 景天魁;上下贯通虚实相应[N];光明日报;2010年
8 华东师范大学哲学系 冯棉;把现代逻辑带到中国的人[N];社会科学报;2005年
9 本报记者 周静;第四届全国性逻辑系统、智能科学与信息科学学术会议在筑召开[N];贵州日报;2008年
10 哲学所 涂纪亮;平易近人、循循善诱的金老[N];中国社会科学院院报;2005年
相关博士学位论文 前10条
1 冯彦波;合并逻辑方法研究[D];南开大学;2010年
2 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年
3 张世宁;广义量词理论研究[D];南开大学;2010年
4 胡明娣;逻辑度量空间的内蕴结构的研究[D];陕西师范大学;2011年
5 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
6 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
7 陈佳林;柔性逻辑的健全性研究与应用[D];北京邮电大学;2011年
8 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
9 李晓冰;基于语言真值格值逻辑的归结自动推理研究[D];西南交通大学;2008年
10 郭美云;带有群体知识的动态认知逻辑[D];北京大学;2006年
相关硕士学位论文 前10条
1 夏梦;金岳霖逻辑与逻辑系统思想述评[D];西南师范大学;2002年
2 车付翠;计算机科学中的逻辑应用研究[D];燕山大学;2011年
3 马晓珏;IMTL逻辑系统及IMTL-代数[D];陕西师范大学;2004年
4 王佳君;CTD悖论研究[D];华东师范大学;2009年
5 贾改琴;知道谓词逻辑[D];西南师范大学;2005年
6 盛作国;蕴涵理论研究[D];贵州大学;2008年
7 于宇;试析蒙太格语法[D];西南大学;2007年
8 韩亦佳;蕴涵与因果推理的关系[D];河南大学;2008年
9 文红峰;论逻辑后承与逻辑真[D];湘潭大学;2008年
10 李莉;基于T-S模型的自适应模糊系统的研究及应用[D];西北工业大学;2003年
本文编号:2817360
本文链接:https://www.wllwen.com/shekelunwen/ljx/2817360.html