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

概率命题逻辑中命题相等关系的两个层面与命题演算

刘宏岚  高庆狮  杨炳儒  

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 刘宏岚;高庆狮;杨炳儒;;概率命题逻辑是经典命题演算形式系统的随机事件语义[J];小型微型计算机系统;2011年05期
2 刘宏岚;高庆狮;杨炳儒;;概率逻辑中的命题相关性与逻辑运算[J];北京科技大学学报;2008年09期
3 邓安生,陈伟利;逻辑运算在定性意义下的连续性[J];东北师大学报(自然科学版);1998年02期
4 孟广武;张兴芳;李成允;;n值逻辑系统中的随机化研究[J];计算机工程与应用;2009年19期
5 苏洪雨;江雪萍;;乔治·布尔:现代信息技术的数学基础奠基者[J];自然辩证法通讯;2008年03期
6 马华孝;;2~3值逻辑系统的基本运算规则与物理模型[J];四川大学学报(工程科学版);1986年03期
7 王庆平;王大全;张兴芳;;n值命题逻辑系统中公式真度的进一步研究[J];模糊系统与数学;2009年01期
8 隋云云;;五值非线性序集逻辑系统中命题真度的分布[J];山东大学学报(理学版);2009年01期
9 李友雨;张兴芳;李成允;;公式真度的大小之比较[J];模糊系统与数学;2011年02期
10 王俊龙;;论太极代数及其辩证内涵[J];湖南师范大学社会科学学报;2009年03期
11 刘云丰;模糊布尔代数[J];自然杂志;1982年03期
12 赵萃魁;;布尔代数和补模格的特征[J];内蒙古大学学报(自然科学版);1983年03期
13 李凡长,郑家亮;动态模糊(DF)数的概率空间初探[J];云南大学学报(自然科学版);1997年06期
14 朱秉涛;关于布尔代数公理的独立性问题[J];数学研究与评论;1987年01期
15 罗守山;阮传概;;布尔函数一致法的简化程序设计[J];北京邮电大学学报;1993年02期
16 施恩伟;分子格构成Fuzzy布尔代数的条件[J];自然杂志;1986年06期
17 马巧云;吴洪博;;逻辑系统W,W,W_n中的广义矛盾式[J];西安文理学院学报(自然科学版);2006年03期
18 马巧云;吴洪博;赵艳;;逻辑系统、W、W_n中的广义矛盾式及一种降级算法[J];纯粹数学与应用数学;2007年04期
19 夏世芬;徐扬;;一种算子命题逻辑系统及其T-不变量推理算法[J];模糊系统与数学;2007年06期
20 王廷明;;二值命题逻辑中逻辑推理的有效度[J];山东农业大学学报(自然科学版);2008年03期
中国重要会议论文全文数据库 前10条
1 张学立;;从逻辑哲学的观点看金岳霖先生的逻辑信条[A];1997年逻辑研究专辑[C];1997年
2 李小五;;沈有鼎论直观与逻辑[A];“中国名辩学与方法论研讨会、道家与西方研讨会、冯友兰哲学思想研讨会”优秀论文精选[C];1998年
3 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年
4 李娜;;认识论模态逻辑E-系统的布尔值模型[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年
5 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
6 赵总宽;;辩证模态命题逻辑系统DMT与实然世界语义学[A];1997年逻辑研究专辑[C];1997年
7 郭世铭;;二重命题逻辑系统■_4[A];1993年逻辑研究专辑[C];1993年
8 毛宇光;徐洁磐;刘滔;周勇;;用于不完全信息数据库的中介逻辑演算系统MP~M[A];第十八届全国数据库学术会议论文集(研究报告篇)[C];2001年
9 张尚水;;模糊逻辑[A];全国逻辑讨论会论文选集[C];1979年
10 熊明;;古典命题演算的直觉主义语义分析[A];2000年逻辑研究专辑[C];2000年
中国博士学位论文全文数据库 前10条
1 戴细华;多值逻辑语义博弈[D];中山大学;2006年
2 冯彦波;合并逻辑方法研究[D];南开大学;2010年
3 李勇;基于条件事件代数的概率逻辑推理和概率逻辑衍推推理[D];云南大学;2010年
4 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
5 毛明毅;面向对象的广义空间逻辑运算模型与推理研究[D];西北工业大学;2006年
6 郭远华;若干逻辑自动推理方法研究[D];华东师范大学;2010年
7 周湘南;与剩余格相关的几类逻辑代数系统的研究[D];湖南大学;2008年
8 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年
9 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年
10 李志伟;偏序集上的蕴涵代数[D];首都师范大学;2002年
中国硕士学位论文全文数据库 前10条
1 刘栋伟;多Agent系统合作逻辑的研究[D];南京航空航天大学;2007年
2 刘保翠;命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论[D];陕西师范大学;2008年
3 陆志浩;多Agent系统合作认知逻辑的研究[D];南京航空航天大学;2008年
4 郑刚;n值S-MTL逻辑系统中命题的Borel概率真度理论[D];兰州理工大学;2013年
5 张丽;时态公开宣告逻辑初探[D];西南大学;2009年
6 任鹏飞;命题逻辑公式集上的相似度、伪距离与近似推理[D];西北大学;2008年
7 茹永梅;经典逻辑系统(?)中的MT问题及公式的真度理论[D];陕西师范大学;2006年
8 李建生;n值逻辑系统中命题的绝对真度及其随机化理论[D];兰州理工大学;2008年
9 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年
10 韩邦合;计量逻辑学中的近似推理与二值逻辑中命题的条件真度理论[D];陕西师范大学;2007年
中国重要报纸全文数据库 前10条
1 广州 耿德根;双龙仿真机器人SLBASIC逻辑运算及调速语句[N];电子报;2008年
2 本报记者 周静;第四届全国性逻辑系统、智能科学与信息科学学术会议在筑召开[N];贵州日报;2008年
3 牛根生;红海喜逻辑,蓝海爱直觉[N];商务时报;2007年
4 重庆市彭水县郁山中学 钟年映;教学并非都得循序渐进[N];中国教育报;2009年
5 陈波;逻辑学的2005年[N];光明日报;2006年
6 李健 段晓燕;彼得·德鲁克:计算机是个“低能儿”[N];社会科学报;2002年
7 造造 编写;鲁班软件实战练兵场(25)[N];建筑时报;2007年
8 张慧英;企业家本身是一种生活方式[N];中国工业报;2003年
9 南华期货研究所 丁玉洁;日内持仓异动与期价涨跌的“概率逻辑”[N];期货日报;2011年
10 魏少军;超深亚微米集成电路设计[N];中国电子报;2002年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978