制约逻辑

作品数：44被引量：10H指数：2
导出分析报告
相关领域：哲学宗教自动化与计算机技术更多>>
相关作者：龚启荣盛作国胡红蒋学锋林邦瑾更多>>
相关机构：贵州大学贵阳学院华东师范大学中国社会科学院哲学研究所更多>>
相关期刊：《哲学动态》《科技广场》《哲学研究》《贵州民族大学学报（哲学社会科学版）》更多>>
相关基金：贵州省科学技术基金江苏省社会科学基金辽宁省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
纪检监察机构改革的权力制约逻辑被引量：3
《南方论刊》2020年第11期72-74,共3页赵兴联 
江苏省社会科学基金“习近平对马克思主义廉政思想的新发展研究”(18MLD001)。
“谁来监督纪委”该怎么破?这是纪检监察体制改革必须要作出的回答。制约和监督作为两种逻辑的权力配置,发挥着各自的作用。纪检监察机构改革对深化权力制约提出了更高的要求。权力制约就是要建立相互制约、相互协调的权力体系,具有内...
关键词：权力制约 正当程序 权力边界 
C_m命题演算的定理机器证明系统
《辽宁大学学报（自然科学版）》2019年第1期31-37,共7页张伟 
辽宁省自然科学基金计划重点项目(20170540311);东北大学2017年本科教学质量工程项目(201755)
C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定...
关键词：Cm系统 制约逻辑 可计算性 定理机器证明 
贵州制约逻辑学会第四届高层次专题研讨会召开
《科技与生活》2013年第1期47-47,共1页
2013年1月8日至10日，由贵州I制约逻辑学会主办，贵州工商职业学院承办的“第四届实践科学发展观发展客体逻辑学”高层次专题研讨会暨第六届会员代表大会在贵阳市召开。研讨会主题是“创新客体逻辑理论推动贵州跨越发展”。国际符号逻...
关键词：专题研讨会 制约逻辑 贵州 学会 高层 会员代表大会 创新客体 副理事长 
制约逻辑在人工智能中的应用
《科技广场》2011年第1期21-23,共3页黄国芳 
本文从数理逻辑对人工智能发展的局限出发,分析了制约逻辑与人工智能的辩证关系,最后总结了制约逻辑为人工智能的智能模拟提供了理论基础和推理作用。
关键词：人工智能 制约逻辑 数理逻辑 
浅析说谎者悖论
《中共贵州省委党校学报》2011年第1期106-107,共2页李国富 
说谎者悖论是一个古老的悖论。本文以制约逻辑为工具,先定义事件和命题,在此基础上分析语句与命题和事件的关系,从而证明说谎者悖论的实质只是含有空词的不指谓事件的空话。
关键词：制约逻辑 事件 命题 悖论 
管窥充分条件假言命题
《重庆工学院学报（社会科学版）》2009年第3期33-35,共3页马赛 胡红 
贵州大学研究生教育创新基金项目"蕴涵理论发展研究"(校研人文2007012)资助
数理逻辑干扰了传统逻辑,传统逻辑中的充分条件假言命题受此影响也发生了变化,特别是真值表的引入,改变了充分条件假言命题的真假的判断标准,还影响到它的定义。而数理逻辑中的充分条件假言命题实际上是实质蕴涵命题,而只有到了制约逻辑...
关键词：充分条件关系 假言命题 形式逻辑 数理逻辑 制约逻辑 
论“两独”与“两依”——兼评《制约逻辑元思想剖析》一文
《贵阳学院学报（社会科学版）》2008年第1期54-57,共4页盛作国 
真正的充分条件关系刻划清楚后便是制约关系,事实上具有"两个独立性"。离散数学正统数理逻辑不研究真正的充分条件关系。二值函数实质蕴涵事实上具有与"两个独立性"相对立的"两个依赖性",从而并非真正的充分条件关系的"逻辑抽象"。即使...
关键词：客体逻辑 制约逻辑 制约关系 两个独立性 实质蕴涵 两个依赖性 元逻辑 
制约逻辑与相干逻辑比较研究
《毕节学院学报（综合版）》2008年第1期52-56,共5页胡红 盛作国 
实质蕴涵的提出引起学界极大争议,蕴涵怪论一直是争论焦点之一。20世纪以来不少学者致力于构造排除蕴涵怪论的形式系统。制约逻辑和相干逻辑均成功避免了迄今所知的一切蕴涵怪论。因制约逻辑系统、模态逻辑系统以及与严格蕴涵、相干蕴...
关键词：蕴涵怪论 制约逻辑 两个独立性 相干逻辑 选言推理 
制约逻辑与情报推理
《贵阳学院学报（社会科学版）》2007年第3期96-100,共5页盛作国 胡红 
逻辑科学在情报学学科中几乎主要地被应用于情报检索领域,而情报检索领域中涉及推理的内容主要地散见于人工智能推理机制中。人工智能研究以正统数理逻辑为其逻辑理论工具。由于正统数理逻辑把原本能确保不循环的推理格式处理成同语反...
关键词：情报推理 制约逻辑 人工智能 专家系统 
制约逻辑与计算机科学相关问题的探讨
《毕节学院学报（综合版）》2007年第1期33-36,共4页汪学明 
新兴的逻辑领域——制约逻辑与计算机发展关系密切。这主要体现在内涵智能机和量子计算机两个方面。“正统”数理逻辑已不适应智能机和量子计算机的发展需要,而制约逻辑却为此提供了新的理论依据。
关键词：制约逻辑 制约关系 内涵智能机 制约门 人工智能 量子计算机 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部