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

相干逻辑研究的当代成果和发展趋势

霍书全  

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 杨熙龄;悖论研究八十年[J];国外社会科学;1980年07期
2 杨熙龄;非古典逻辑三种[J];国外社会科学;1980年12期
3 杨熙龄;数理哲学的几个问题[J];国外社会科学;1980年03期
4 В.А.鲍恰罗夫 ,Е.К.沃伊什维洛 ,А.Г.德拉加林 ,В.А.斯米尔诺夫 ,丛周;苏联逻辑学发展的一些情况[J];国外社会科学;1980年03期
5 杨熙龄;逻辑学的宝库——从一部新书看一种探索[J];国外社会科学;1981年11期
6 杨英锐;关于哥德尔不完全性定理评介中的两个问题及其哲学涵义浅析——兼评杨熙龄同志的几篇数理逻辑评介文章[J];国外社会科学;1981年01期
7 杨熙龄;“不协调逻辑”小议[J];国外社会科学;1981年07期
8 赵馥洁;;对无神论研究对象和方法的一点看法[J];哲学动态;1981年04期
9 朱正元;一般二次曲线的不变量完全系统[J];殷都学刊;1982年02期
10 王凤琴;《模态逻辑》简介[J];国外社会科学;1982年09期
中国重要会议论文全文数据库 前10条
1 陈永义;;NF逻辑系统[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
2 朱剑英;肖奚安;朱梧槚;;关于中介逻辑演算系统的发展及其语义学研究情况综述[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年
3 刘军;马骏;;格值逻辑系统LP(X)的推理性质讨论[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年
4 张锦文;;推理与计算[A];逻辑学文集[C];1978年
5 张尚水;;模糊逻辑[A];全国逻辑讨论会论文选集[C];1979年
6 郭世铭;;二重命题逻辑系统■_4[A];1993年逻辑研究专辑[C];1993年
7 刘鸿钧;;关于建构法律逻辑的思考[A];1993年逻辑研究专辑[C];1993年
8 鞠实儿;;信念的证据和不一致信念的表达[A];1993年逻辑研究专辑[C];1993年
9 陈波;;蒯因的逻辑哲学[A];1993年逻辑研究专辑[C];1993年
10 杨书澜;;金岳霖先生前期的逻辑思想[A];1993年逻辑研究专辑[C];1993年
中国博士学位论文全文数据库 前10条
1 余俊伟;弗协调逻辑应用于道义逻辑的研究[D];中国社会科学院研究生院;2001年
2 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
3 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年
4 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年
5 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
6 李海明;关于格值逻辑及自动推理的研究[D];西南交通大学;2003年
7 黄河;语义Web中知识服务的研究[D];中国科学院研究生院(计算技术研究所);2006年
8 韩诚;R_0代数及Vague集的相似度理论[D];陕西师范大学;2006年
9 郭美云;带有群体知识的动态认知逻辑[D];北京大学;2006年
10 黄志强;佛教逻辑比较研究[D];中国人民大学;2002年
中国硕士学位论文全文数据库 前10条
1 王三民;模糊逻辑形式系统的若干完备性定理[D];陕西师范大学;2001年
2 王向云;区间值模糊推理的三Ⅰ算法[D];陕西师范大学;2001年
3 夏梦;金岳霖逻辑与逻辑系统思想述评[D];西南师范大学;2002年
4 袁和军;模糊推理的形式化理论[D];陕西师范大学;2002年
5 郭美云;辛提卡IF一阶逻辑研究[D];西南师范大学;2003年
6 王龙春;L~*系统中的一类广义重言式与L~*系统的一种扩张[D];陕西师范大学;2003年
7 兰蓉;t-模与蕴涵算子的同构及广义重言式理论[D];陕西师范大学;2003年
8 贾国恒;卢卡西维茨多值逻辑及其与一些逻辑的比较[D];河南大学;2003年
9 李莉;基于T-S模型的自适应模糊系统的研究及应用[D];西北工业大学;2003年
10 陈铁明;复杂安全协议的形式化分析、设计与验证研究[D];浙江工业大学;2004年
中国重要报纸全文数据库 前10条
1 于鸿宾 孙玮;未来的世界是信息技术的世界[N];中国机电日报;2000年
2 四川大学教授、博士生导师 邱沛篁;旅游要发展 理论要先行[N];中国旅游报;2000年
3 李健 段晓燕编译;德鲁克:并不存在新经济[N];厂长经理日报;2001年
4 李健 段晓燕;彼得·德鲁克:计算机是个“低能儿”[N];社会科学报;2002年
5 中山大学逻辑与认知研究所 熊明辉;逻辑与认知[N];社会科学报;2002年
6 甘易;一套写给精神贵族的书[N];中国邮政报;2003年
7 史晓雷;对待传统文化“扬”多“弃”少[N];科学时报;2004年
8 温新红 实习生 刘艳萍;李学勤:功利化是现在教育的最大问题[N];科学时报;2005年
9 华东师范大学哲学系 冯棉;把现代逻辑带到中国的人[N];社会科学报;2005年
10 陈波;逻辑学的2005年[N];光明日报;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978