logic of paradox 悖论逻辑(0)   “logic of paradox”译为未确定词的双语例句      The Formula of the Dialectical Logic of Paradox and Others      悖论的辩证逻辑公式及其他 短句来源      TABLEAUX FOR LOGIC OF PARADOX      悖论逻辑的表演算 短句来源      An improvement on logic of paradox      LP_m逻辑语义的一种改进 短句来源   相似匹配句对      Bisimulation with Logic      互模拟与逻辑 短句来源      On Innovation and Logic      略论创新与逻辑 短句来源      On the noumenon of logic      逻辑本体问题新探 短句来源      The Logic of Jainism      耆那教的逻辑思想 短句来源      The paradox of space      空间的矛盾性 短句来源 查询“logic of paradox”译词为用户自定义的双语例句     我想查看译文中含有：的双语例句 为了更好的帮助您理解掌握查询词或其译词在地道英语中的实际用法，我们为您准备了出自英文原文的大量英语例句，供您参考。   logic of paradox It is a tense logic based on an underlying paraconsistent prepositional logic, the logic of paradox.        Adequacy with respect to a family of Kripke models for de Finetti's logic, ?ukasiewicz's three-valued logic and Priest's Logic of Paradox is demonstrated.        If we consider the path of papers, not as a signle line, but branching according to the approach to the paradoxes advocated, then the "Logic of Paradox" would, I still submit, be on the right track.        Whereas Priest's construction in terms of designated truth values always results in his Logic of Paradox, the present construction in terms of truth and falsity orderings always results in First Degree Entailment.        The LP (logic of paradox) is a paraconsistent logic. One of the motivationsbehind paraconsistent logic, namely LP, is that it should not allow that everything followsfrom a single contradiction. However it has one important drawback: that some classicalinferences would be invalid in LP. The LP.(logic of minimal paradox) can overcome thisdrawback, such that paraconsistent logic would be equivalent to classical logic when therewas not direct effect of a contradiction.... The LP (logic of paradox) is a paraconsistent logic. One of the motivationsbehind paraconsistent logic, namely LP, is that it should not allow that everything followsfrom a single contradiction. However it has one important drawback: that some classicalinferences would be invalid in LP. The LP.(logic of minimal paradox) can overcome thisdrawback, such that paraconsistent logic would be equivalent to classical logic when therewas not direct effect of a contradiction. Originally, LP and LP. were only defined in semantic. Although some proof theories for LP were introduced, it has left open how to obtain a satisfactory proof theory for LP.. This paper propose the sound and completestableaux with respect to the semantics of LP and LP., respectively. 悖论逻辑ＬＰ是一个超协调逻辑，发展超协调逻辑（ＬＰ）的目的是使得不会从矛盾推出任一命题，但它有一个主要缺点：就是一些在经典逻辑中有效的推理在ＬＰ中不再有效；极小悖论逻辑ＬＰｍ能克服这个缺点，使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑．ＬＰ和ＬＰｍ原来都只给出语义定义，虽然已有ＬＰ的证明论，但如何得到一个ＬＰｍ的证明论仍是一个未解问题．本文提出了一种可靠与完全的表演算作为ＬＰ与ＬＰｍ的证明论．    相关查询 principle of logic logic of argument logic of sets logic of understanding paradox of logic logic of behavior logic of contingency logic of software logic of sentiment structure of logic logic of business categories of logic

CNKI小工具 在英文学术搜索中查有关logic of paradox的内容 在知识搜索中查有关logic of paradox的内容 在数字搜索中查有关logic of paradox的内容 在概念知识元中查有关logic of paradox的内容 在学术趋势中查有关logic of paradox的内容

CNKI主页 |  设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索

2008 CNKI－中国知网

京ICP证040431号 互联网出版许可证 新出网证(京)字008号 北京市公安局海淀分局 备案号：110 1081725  2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社