1) paraconsistent modal logic
弗协调模态逻辑
2) 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.
弗协调逻辑的产生,引发了我们对如下几个问题的思考:弗协调逻辑有无产生的必要?弗协调逻辑与经典逻辑的关系如何?弗协调逻辑对矛盾律普遍性的置疑是否意味着逻辑规律是可修正的
3) paraconsistent epistemic logic
弗协调认知逻辑
1.
The paper is devoted to build a paraconsistent epistemic logic C_nEK on the basis of the paraconsistent modal logic C_nG′.
本文试图以弗协调模态逻辑C_nG′为基础,建立一种弗协调认知逻辑C_nEK。
4) Modal Nonmonotonic Logic
模态非单调逻辑
5) modal logic
模态逻辑
1.
Three types of fuzzy modal logics about K;
关于K的三种模糊模态逻辑
2.
According to the real meaning of applying epistemic or modal logic to theoretical study on agent or multi-agent system,through detailed and strict analysis of the two basic premises upon which scholars draw their assertion of logical omniscience problem,it was argued clearly that neither of their two premises can stand.
从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的。
3.
In order to introduce the quantitatively analytical method into security protocol analysis, a protocol measurement method based on modal logic was defined.
为将量化分析方法引入安全协议分析中 ,以模态逻辑方法为基础定义了协议度量方法 ,并形式化地给出度量协议内容对协议安全目标满足度的参数和方法 ,同时在此基础上 ,进一步地给出了对安全协议冗余进行度量及化简的方法 。
6) Paraconsistent logic
次协调逻辑
1.
Here the basic method to circumscribe contradiction is paraconsistent logic.
这里,限制矛盾的基本手法是次协调逻辑。
补充资料：模态逻辑
| 模态逻辑 modal logic 研究必然、可能及其相关概念的逻辑性质。逻辑的一个分支。模态逻辑所研究的命题“必然A”和“可能A”与通常命题演算中的命题不同。后者是真值函项，前者不是。因为，当A真时 ，“必然A”既可以是真也可以是假 ；当A假时，“可能A ”既可以是真也可以是假。模态命题演算是现代模态逻辑的基本内容之一。它是应用数理逻辑的方法研究模态命题逻辑的结果。最先开始这方面研究的是19世纪末的H.麦克考尔。在他的影响下，美国哲学家、逻辑学家C.I.刘易斯于1914年构造了一个模态命题演算。40年代末，卡尔纳普开始从语义方面研究模态逻辑。50年代末～60年代初，S.坎格尔、J.欣梯卡与S.A.克里普克等人发展了卡尔纳普的理论，提出了比较完整的模态逻辑的模型理论。60年代以后模态逻辑有很大发展，出现了许多新的系统，特别出现了许多非标准的模态逻辑系统。如认知逻辑、道义逻辑、时态逻辑等。模态逻辑由于研究和阐明了必然、可能、应当、知道等本体论和认识论概念的逻辑性质，因而具有深刻的哲学意义。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条