2) General fuzzy logic
广义模糊逻辑
3) alethic modal logic
真值模态逻辑
1.
Anderson holds that deontic logic can be reduced to alethic modal logic by the reduction formula Op(口(~p?S).
安德森认为依靠归约公式Op □ (～p→S)能把道义逻辑归约为真值模态逻辑。
4) lattice-valued logic
格值逻辑
1.
Lattice-Valued Logical System and Automated Reasoning Based on Lattice Implication Algebra;
基于格蕴涵代数的格值逻辑系统及其自动推理的研究
2.
Fuzzy Concept Lattice Based on Lattice-valued Logic
基于格值逻辑的模糊概念格
3.
Lattice-valued logic is an important kind of non-classical logic and an extension of both classical logic and fuzzy logic.
格值逻辑是一种重要的非经典逻辑，它是经典逻辑和模糊逻辑的推广。
5) Lattice valued logic
格值逻辑
1.
In this paper,we introduce the concepts of fuzzifying semigroups based on complete residuated lattice valued logic,and discuss the structures and the properties of the subgroups,regular subsemigroups and completely regular subsemigroups.
该文定义了基于完全剩余格值逻辑上的半群的概念。
6) generalized inductive logical causal model
广义逻辑归纳因果模型
补充资料：模态逻辑
| 模态逻辑 modal logic 研究必然、可能及其相关概念的逻辑性质。逻辑的一个分支。模态逻辑所研究的命题“必然A”和“可能A”与通常命题演算中的命题不同。后者是真值函项，前者不是。因为，当A真时 ，“必然A”既可以是真也可以是假 ；当A假时，“可能A ”既可以是真也可以是假。模态命题演算是现代模态逻辑的基本内容之一。它是应用数理逻辑的方法研究模态命题逻辑的结果。最先开始这方面研究的是19世纪末的H.麦克考尔。在他的影响下，美国哲学家、逻辑学家C.I.刘易斯于1914年构造了一个模态命题演算。40年代末，卡尔纳普开始从语义方面研究模态逻辑。50年代末～60年代初，S.坎格尔、J.欣梯卡与S.A.克里普克等人发展了卡尔纳普的理论，提出了比较完整的模态逻辑的模型理论。60年代以后模态逻辑有很大发展，出现了许多新的系统，特别出现了许多非标准的模态逻辑系统。如认知逻辑、道义逻辑、时态逻辑等。模态逻辑由于研究和阐明了必然、可能、应当、知道等本体论和认识论概念的逻辑性质，因而具有深刻的哲学意义。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条