线性逻辑相关论文
话剧《哥本哈根》将众说纷纭的“哥本哈根会见”用平行的“罗生门”式的叙述手法,将原本的事件解构、重组成为四段独立的回忆,其非......
提升网络涉军舆论引导力,应改变固有的“传者一受众”的二元对立和线性逻辑思维,将舆论引导主体从传者回归到受者。基于接受分析的......
“反对者总要拿那些不是常识的常识来给人扣帽子。按照固有的理论延伸出来，一党就没有竞争，没有竞争就没有民主的选举，没有民主的选举......
摘要：在歌剧《大秦灵渠》的和声创作手法上，曲作者以多声部思维为出发点，将作品主要的动机、主题材料中所包含的音程、音列等诸多因素......
以跨学科、跨文化的方法,从语言文字角度,提纲挈领地研究了“隐喻”、“比”、“兴”的异同,得出以下结论:这三个概念虽共有类比性......
一文概述了由Girard分别于1986和2001所创建的线性逻辑和态极逻辑.线性逻辑和态极逻辑汲取于计算机科学并反之应用于其中,从根本上......
针对传统分析方法的不足 ,提出了时间 Petri网的线性逻辑表示和时间推理方法 .基于线性逻辑 ,定义了时间 Petri网中变迁之间的各种......
