助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   logic of paradox 的翻译结果: 查询用时:0.006秒
图标索引 在分类学科中查询
所有学科
计算机软件及计算机应用
自动化技术
更多类别查询

图标索引 历史查询
 

logic of paradox
相关语句
  “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.

悖论逻辑LP是一个超协调逻辑,发展超协调逻辑(LP)的目的是使得不会从矛盾推出任一命题,但它有一个主要缺点:就是一些在经典逻辑中有效的推理在LP中不再有效;极小悖论逻辑LPm能克服这个缺点,使得在没有矛盾的直接影响下超协调逻辑等价于经典逻辑.LP和LPm原来都只给出语义定义,虽然已有LP的证明论,但如何得到一个LPm的证明论仍是一个未解问题.本文提出了一种可靠与完全的表演算作为LP与LPm的证明论.

 
图标索引 相关查询

 


 
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) 中国学术期刊(光盘版)电子杂志社