【摘 要】
：
针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画
【机 构】
：
毕节学院逻辑与文化研究中心; 西南大学逻辑与智能研究中心;
【出 处】
：
辽宁工程技术大学学报(自然科学版)
【基金项目】
：
贵州省哲学社会科学规划基金资助项目(12GZYB63);贵州省优秀科技教育人才省长基金资助项目([2012]50);贵州省教育厅一般基金资助项目(12GZJY20);毕节学院高层次人才基金资助项目(G2012003);贵州省科技厅联合基金资助项目(LKB201224);中国博士后科学基金面上基金资助项目(2013M542251)
论文部分内容阅读
针对Sally Porkom运用模态语言分析加标转换结构,利用加标转换结构所支持的语义证明许多形式逻辑系统是完全的,找到一个不具有克里普克完全性的系统,证明关系语义不足以刻画所有的模态逻辑的问题.利用构造的方法,给出两个系统KY和KZ,虽然这两个系统无法用关系语义进行区分,但利用一般框架可知KY和KZ是有区别的.KY和KZ证明了在加标转换结构和模态系统之间有一些不相符合的地方,具有一定的局限性.
其他文献
本研究使用蒸气法-芯片级非对称场离子迁移谱技术(FAIMS)检测部分爆炸物和毒品。通过14～21d的连续测试得到目标物的扩散速率。在设定条件下,实现了对爆炸物和毒品的良好分析。
知情权是公民的重要权利之一。知情权分为广义知情权和狭义知情权。狭义知情权是指公民知悉、获得行政信息的权利。中国一些现有的法律中已有关于保障特定公民群体(如消费者
目的探讨生长抑素及泮托拉唑钠对重症急性胰腺炎的临床治疗作用。方法选取2012年3月~2014年3月收治的94例重症急性胰腺炎患者为研究对象,随机分为对照组和观察组,各47例,对照
在无线传感器网络中,传感器节点在电源能量、计算能力、通信能力等方面具有局限性,节点间如何相互协作并发挥其整体综合作用,是设计无线传感器网络自组织的重点和难点。同时,
NAC(矮牵牛NAM,拟南芥ATAF1/2和CUC1/2)转录因子是近年来发现的具有多种生物学功能的植物特异性转录因子。该家族蛋白所具有的共同特点是N末端都拥有高度保守的DNA结合区域(
<正>ISBN:978-7-300-19933-7定价:$98.00出版时间:2015-01-16本书分为绪论篇、证据篇、证明篇、证据规则篇、证据评论篇以及证据调研篇。作者不仅对刑事证据的基础理论问题、
针对京煤集团木城涧矿大台井地质条件与煤的赋存状况,通过相似模拟实验和数值模拟方法,讨论急倾斜煤层开采解放层的可行性。通过观测相似模拟实验中的煤岩失稳过程,定性地了
刑事政策决策者总是孜孜不倦地追究刑事政策的价值目标 ,也即刑事政策的终极目标 ,并以此为导向 ,指引刑事政策的进路和可持续发展 ,构建刑事政策体系。刑事政策的价值是刑事
本文概括地评析了凯尔森关于国际法优先说的主要论点 :国际法优于国内法 ;国际法的第一位与国家主权的不相容 ;国际法与国内法属于同一法律体系。本文认为 ,从国际关系的现实
"国际法哲学"是国际法学和法哲学的新兴领域,在这一初级阶段,应当采取积极鼓励和多元发展、大胆尝试、积极讨论的态度。由于国际法本身不成体系,以及国际法历史发展的轨迹,国