线性逻辑相关论文
１９９３年国外哲学逻辑研究新进展李小五本年度哲学逻辑研究取得了许多新的进展，各分支学科的研究继续向深度和广度发展。现在分学科综述如......
《新城市议程》是联合国住房和城市可持续大会(“人居三”)最重要的文本成果.本文通过对《新城市议程》内容和形成逻辑的展现和解......
虽然Agent理论已经成功应用到多种领域中，但Agent抽象描述与具体实现相结合时可能存在的差异使得Agent系统的开发面临挑战。为了使......
在Web服务组合和交互之前，必须保证服务间的兼容性和互操作性.死锁指交互双方都处于等待接收消息的状态，导致流程非正常停止，进而形成......
【正】社会上有关健康、养生、长寿的书籍十分风靡,构成了一个蔚为壮观的文化形象。这反映了广大群众在物质条件改善后,追求更高生......
附录线性反馈移位寄存器(LFSR)理论由于线性反馈移位寄存器在结构上简单而且相当规则,其移位性质容易与串行扫描结合起来,而且能......
本文是《线性逻辑和态极逻辑引论》一文的第二部分。文章致力于证明网(第1节)和态极逻辑(第2,3,4和5节)证明网部分尽管局限于其积......
当代西方政治学方法论的转变，更新了传统政治学的研究方式和研究方法。这些转变包括：以抽象概念为基础的形式分析转向以政治实践为基......
从Petri网被提出以来,Petri网就一直是一个不断被发展和充实的理论.作为一种形式化、直观化的建模工具,Petri网被广泛地应用于离散......
提升网络涉军舆论引导力,应改变固有的“传者一受众”的二元对立和线性逻辑思维,将舆论引导主体从传者回归到受者。基于接受分析的......
随美国转基因标识法案通过,实质等同作为转基因作物评价准则已被基本否定。该原则存在实验不足、忽视过程、线性逻辑、缺乏历时等......
品色编辑树楠:法国蓬皮杜艺术中心位于塞纳河畔,以展出现代艺术为主,与一般美术馆不同,它每周二闭馆,一般票价为13欧元。非线性展......
患者崔灿灿因其201 3年疯狂策划1 4个展览以及近期的4个展览而备受关注,鉴于其病情的独特性,现申请以其病情做个案分析。以下素材......
期刊
每年这个时候,都有一批毕业生迈入职场。从校园走进社会,一切都是那样陌生、那样新鲜,有些不适是难免的。但谁不是从一片空白开始......
“反对者总要拿那些不是常识的常识来给人扣帽子。按照固有的理论延伸出来，一党就没有竞争，没有竞争就没有民主的选举，没有民主的选举......
在古典主义逻辑的叙列演算系统CL中,由于使用到收缩和弱化规则而使这样的逻辑系统很难应用到证明论和计算机科学的领域中去.Girard......
摘要：在歌剧《大秦灵渠》的和声创作手法上，曲作者以多声部思维为出发点，将作品主要的动机、主题材料中所包含的音程、音列等诸多因素......
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生......
以跨学科、跨文化的方法,从语言文字角度,提纲挈领地研究了“隐喻”、“比”、“兴”的异同,得出以下结论:这三个概念虽共有类比性......
针对传统分析方法的不足 ,提出了时间 Petri网的线性逻辑表示和时间推理方法 .基于线性逻辑 ,定义了时间 Petri网中变迁之间的各种......
介绍一种自动服务组合模型服务消息语义化匹配验证的方法。该方法先从服务描述中提取服务消息模型和服务行为模型,后将服务行为模......
当前教育焦虑已经成为了一种普遍存在的社会现象。新时代我国社会主要矛盾是人民日益增长的美好生活需要和不平衡不充分的发展之间......
误判＂2010年将加息＂的人有个共性,即多用线性逻辑来推断加息,但经济现象或经济行为之间并非简单的线性逻辑关系。......
线性和为一种动作逻辑，有很强的表达能力和很中构造性，线性逻辑式程序设计语言为表达操作语义，并发现规范等提供了新的工具和框架，Ｇｉｒａｒｄ对线......
很多流行音乐创作人最终都会走上电子音乐的道路。这似乎是某种不成文的规定。原因很简单：敢于涉足电子音乐的胆量和能力。证实了作......
从经典命题逻辑到原始兰贝克演算,基于规则的存废形成了演算的"结构层级".对于自然语言的计算处理来说,各层级系统各有优劣.虽然原......
1.线性逻辑和张量理论在古典逻辑的 Gentzen 型矢列演算中Girard 去除弱规则和缩规则,发展起一种新型逻辑系统——线性逻辑(简记为......
<正> 1 引言 Petri网是一种用网状图形表示系统模型的方法,能够从组织结构、控制和管理的角度,精确描述系统中事件(变迁)之间的依......
英语篇章写作是英语学习过程中的的重要技能，并受到学习者的关注。通过对汉英语篇逻辑模式的对比分析，可以发现汉语和英语语篇在不同......
摘 要：针对当前缺乏面向航班延误波及分析的精确航班运行模型、以及延误波及分析算法复杂度过高的不足，提出一种航班运行时间Petri网......
<线性逻辑和态极逻辑引论>一文概述了由Girard分别于1986和2001所创建的线性逻辑和态极逻辑.线性逻辑和态极逻辑汲取于计算机科学......
本文提出一种基于线性逻辑的理论L1,它除了能较好地反映常识推理的非单调性外,还可以在矛盾存在的情况下继续组织有效的推理。......
本文给出一个新的线性逻辑的证明网的定义并证明了所定义的证明是线性逻辑的自然推理，和Ｇｉｒａｒｄ的原定义相比，使用本文给出的定义来判定一个......
以跨学科、跨文化的方法,从语言文字角度,提纲挈领地研究了'隐喻'、'比'、'兴'的异同,得出以下结论:这三......
本文重点讨论形式关韵律性的问题。狭义的韵律性往往表现以线性逻辑的阵列为基础。简单阵列会存在过于稳定、单调乏味等问题。本文......
叙事类作品和抒情类、议论类、说明类的作品不同，有着自身的特质。为了让学生全面、深入地领略其丰富意蕴，切实提升学生的阅读素养、......
针对常规导弹旅作战指挥决策过程中伴随大量随机、并发情况的特点，提出利用线性逻辑给出的模糊时间Petri网来描述作战指挥决策融合......
在过去的20年里,澳大利亚的各级音乐教育发展较快,但也困难重重,下面就谈谈影响音乐教育发展的六个主要因素.1.多元文化的影响布里......
针对传统分析方法的不足，提出了时间Petri网的线性逻辑表示和时间推理方法。基于线性逻辑，定义了时间Petri网中变迁之间的各种解发规......
在应试教育大行其道的当下，语文是一门很尴尬的课，因为它不容易挣来分数。教师和学生即使下很大的功夫，实际收获也不一定突出。可学校......
介绍一种服务组合模型中服务消息语义化匹配验证的方法。该方法先介绍基于服务行为模型的服务组合,并将其转换为形式化的有限状态......
