1) propositional modal logic
命题模态逻辑
1.
The formal reasoning of the fuzzy propositional modal logic based on plausibility degree is considered, and the description of the associated Kripke semantics is given.
探讨基于可信度的模糊命题模态逻辑的形式推理,给出相关的模糊Kripke语义描述。
2.
"" modal logical consequence in propositional modal logics K, K4, D, D4, T, S4.
研究了命题模态逻辑Ｋ，Ｋ４，Ｄ，Ｄ４，Ｔ，Ｓ４的“”型模态逻辑结果的自动推理。
3.
Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science,but predicate modal logic is not.
目前,命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具,但谓词模态逻辑却不是。
2) fuzzy modal propositional logic
模糊模态命题逻辑
1.
Then the concept of Fuzzy Modal Propositional Logic is put forward, the operation of Fuzzy Modal Propositional Logic is defined.
然后给出了模糊模态命题逻辑的概念,定义了模糊模态命题运算,在赋值格中定义了(?),∧,∨,→,□,◇的运算,给出了一种模糊化的克里普克语义,α—重言式和α—蕴涵的定义,在此基础上讨论了模糊模态命题逻辑的语义理论,根据模糊关系R的不同情况分别讨论了相应的模糊模态命题逻辑公式的归约。
3) propositional dynamic logic
命题动态逻辑
4) propositional fuzzy logic
命题模糊逻辑
1.
Short consistency degrees of finite theories in propositional fuzzy logic system
命题模糊逻辑系统中有限理论的弱相容度
2.
In schematic extension systems Luk,Gd,∏ and L* and propositional fuzzy logic systems MTLS,a new method to estimate theories whether or not infer B based on standard MTL-algebra L= is given.
在命题模糊逻辑系统MTL的扩张系统Luk,G d,∏和L*中,探讨出了一种基于标准MTL-代数L=[0,1]判定理论Γ是否推出公式Β的新思路。
5) fuzzy propositional logic
模糊命题逻辑
1.
Algebraic structure of the disturbing fuzzy propositional logic and the properties of its generalized tautology;
扰动模糊命题逻辑的代数结构及其广义重言式性质
2.
Disturbing Fuzzy Propositional Logic and Its Generalized Tautology;
扰动模糊命题逻辑及其广义重言式
3.
Content: In this paper, the truth degree of fuzzy propositional logicformulas was measured by probability measure and consequently theirproperties were systematically studied.
本文利用概率测度来度量模糊命题逻辑公式的真度，定义了公式的α-真度，并研究了其相关性质。
6) proposition logic
命题逻辑
1.
The definition of truth degree in the classic two-valued proposition logic formula is populared to the uneven probability space whose power is 2,and two-valued logic(p,q) measure and its proposition probability truth degree are defined.
将经典二值命题逻辑中公式的真度概念推广到势为2的概率空间上,定义了二值逻辑(p,q)测度和其上命题的概率真度;在〔1/3,2/3〕的情形下证明了全体公式的概率真度之集在[0,1]中是稠密的,并给出了公式概率真度的表达通式。
2.
Aiming at the problem that there exists very complicated and a large amount of component constraints,an algorithm of component constraint detection based on proposition logic was proposed,in which the proposition in daily diction was transformed into the formal proposition of mathematical logic via the process of proposition symbolization,i.
针对组件约束数量大、复杂度高的问题,提出了一种基于命题逻辑的组件约束检测算法。
3.
In the viewpoint of proposition logic and based on extension theory,a new method for proposition representation is proposed.
从命题逻辑的角度 ,以可拓论为基础 ,建立了命题表示的一种新方法 ,提出了物元命题、事元命题和事物元命题的概念 ;指出物元命题与关于对象的陈述型命题相对应 ,事元命题和事物元命题与关于行为、事件的行为型命题相对应 ;探讨了命题的可拓性和可拓变换方法 ;给出了基于可拓集合的命题可拓集的概念 。
补充资料：模态逻辑
| 模态逻辑 modal logic 研究必然、可能及其相关概念的逻辑性质。逻辑的一个分支。模态逻辑所研究的命题“必然A”和“可能A”与通常命题演算中的命题不同。后者是真值函项，前者不是。因为，当A真时 ，“必然A”既可以是真也可以是假 ；当A假时，“可能A ”既可以是真也可以是假。模态命题演算是现代模态逻辑的基本内容之一。它是应用数理逻辑的方法研究模态命题逻辑的结果。最先开始这方面研究的是19世纪末的H.麦克考尔。在他的影响下，美国哲学家、逻辑学家C.I.刘易斯于1914年构造了一个模态命题演算。40年代末，卡尔纳普开始从语义方面研究模态逻辑。50年代末～60年代初，S.坎格尔、J.欣梯卡与S.A.克里普克等人发展了卡尔纳普的理论，提出了比较完整的模态逻辑的模型理论。60年代以后模态逻辑有很大发展，出现了许多新的系统，特别出现了许多非标准的模态逻辑系统。如认知逻辑、道义逻辑、时态逻辑等。模态逻辑由于研究和阐明了必然、可能、应当、知道等本体论和认识论概念的逻辑性质，因而具有深刻的哲学意义。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条