(L)ukasiewicz系统中反向三Ⅰ算法的形式解

来源 :内江师范学院学报 | 被引量 : 0次 | 上传用户：fxyygs99

【摘要】

：

通过一个F(S)上的预序,提出了反向MP问题,多重反向MP问题以及反向MT问题,多重反向MT问题.在(L)ukasiewicz命题逻辑系统中讨论并得到了以上问题的解,说明了在某种意义下,这些

【作者】

：

刘东利段樱桃

【机构】

：

集美大学诚毅学院,湛江师范学院数学与计算科学学院,乐山师范学院数学与信息科学学院

【出处】

：

内江师范学院学报

【发表日期】

：

2004年期

【关键词】

：

反向MP问题反向MT问题 (L)ukasiewicz命题逻辑系统形式解

【基金项目】

：

四川省教育厅科学研究项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

通过一个F(S)上的预序,提出了反向MP问题,多重反向MP问题以及反向MT问题,多重反向MT问题.在(L)ukasiewicz命题逻辑系统中讨论并得到了以上问题的解,说明了在某种意义下,这些解和反向三Ⅰ算法的结果一致,从而在(L)ukasiewicz逻辑系统中实现了反向三Ⅰ算法的形式化推理机制.

其他文献

应用单纯形算法解决心磁源定位问题

利用超导量子干涉器(SQUID)系统得到的ST-T段的心脏磁场检测数据进行电流源的计算与分析的过程中,要根据等效心脏磁场源模型求解磁场源的位置、幅值和方向等参数.采用单电流

期刊

心脏磁场电活动单纯形算法单电流偶极子

沥青混凝土路面非荷载性裂缝形成机理研究

裂缝是沥青混凝土路面的主要缺陷之一.早期裂缝对路面使用性能不会产生明显影响.然而,裂缝的扩展最终会导致沥青路面结构性破坏.引起沥青混凝土路面裂缝的原因错综复杂,不过

期刊

道路工程沥青混凝土路面温度裂缝反射裂缝收缩应力极限强度

合理利用多媒体辅助专业英语教学

多媒体教学手段被广泛地应用于英语课堂,在英语专业学生的专业英语教学中,适度、高效地利用多媒体课件和课外多媒体辅助教学有利于创造生动的课堂和易于学生接受的知识形式.

期刊

多媒体辅助教学财经英语以学生为中心

略谈农村中学数学学困生的转化对策

数学学困生是指时数学的概念、法则、性质、公式、公理以及由其所反映出采的数学思想和方法不能很好理解,不能按照一定的程序与步骤进行运算、作图和进行简单的推理,不能准确

期刊

农村数学学困生转化对策

微流控芯片电泳门进样方式的改进研究

本文通过实验并结合计算机模拟,对微流控芯片电泳的电动门控进样方式进行改进,在一定程度上减缓了压力流对实验的影响.

期刊

微流控芯片电泳门进样

我思故我行——浅谈高中数学教学中学生思维意识的培养

本文从注重教学情境的创设,重视思维方法的指导和善于多变题型的运用等方面,就数学教学过程中,培养高中学生数学思维意识进行了初步论述.

期刊

思维能力教学情境方法指导多变题型

地铁区间隧道火灾疏散模式研究

针对列车停靠在区间隧道内两种特殊位置:隧道中部和靠近一端站台,考虑列车前、中、后部发生火灾的情况,分析了隧道内人员疏散模式,并提出一些疏散方案。

期刊

地铁隧道火灾列车停靠位置着火部位疏散模式

弱β-I-开集和弱β-I-连续映射

引入了弱β -I -开集和弱β -I -连续映射的定义,并讨论弱β -I -开集、b -开集、β -开集、pre-开集之间的关系及弱β -I -连续映射的一些性质.

期刊

理想拓扑空间弱β-I-开集弱β-I-连续映射

民事检察制度立法的结构性缺陷探析

目前我国法律关于民事检察监督权的立法存在六大结构性缺陷.针对存在的缺陷,本文提出了相应的解决问题的思路和立法建议.

期刊

民事检察监督结构性缺陷检察院人民法院

原发性肝癌的磁共振扩散成像

磁共振水分子扩散加权成像(diffusion-weighted imaging,DWI)是目前唯一能检测活体组织内水分子扩散运动的无创性影像技术,能通过检测活体组织内水分子的微观扩散运动状态,反

期刊

原发性肝癌磁共振扩散成像

(L)ukasiewicz系统中反向三Ⅰ算法的形式解

其他学术论文