1) paraconsistent set theory
弗协调集合论
1.
In this paper a paraconsistent logic H is constructed on the basis of the natural deduction systems established by professor Hu ShihuaIn the paraconsistent set theory SH which regards H as its underlying iogic, the Russell Proposition is verifiable.
在以H为逻辑的弗协调集合论S_H中,罗素(B。
2) Paraconsistent Theory
弗协调理论
3) Zermelo-Frankel set theory
策梅洛-弗兰克尔集合论
4) paraconsistent logic
弗协调逻辑
1.
The Theoretical Origin and the Historical Development of Paraconsistent Logic;
弗协调逻辑的理论渊源和历史发展
2.
In this paper a paraconsistent logic H is constructed on the basis of the natural deduction systems established by professor Hu ShihuaIn the paraconsistent set theory SH which regards H as its underlying iogic, the Russell Proposition is verifiable.
本文以胡世华教授建立的自然推理系统为基础,构造了一个弗协调逻辑H。
3.
The production of paraconsistent logic causes us to think about the following issues: whether it is necessary to produce paraconsistent logic;what is the relationship between paraconsistent logic and classical logic;whether paraconsistent logic s questioning of contradictions universality means that the law of logic can be amended.
弗协调逻辑的产生,引发了我们对如下几个问题的思考:弗协调逻辑有无产生的必要?弗协调逻辑与经典逻辑的关系如何?弗协调逻辑对矛盾律普遍性的置疑是否意味着逻辑规律是可修正的
5) paraconsiste
弗协调否定
1.
The connotations and characteristics of classical negation, intuitionistic negation and paraconsistent negation are discussed from the points of syntax and semantics in the article.
本文从语形和语义两个角度探讨了经典否定、直觉主义否定和弗协调否定的含义、性质与特征。
6) synthesis coordination theory
综合协调理论
补充资料:置之弗论
1.见"置之不论"。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条