1) Fuzzy Propositional Calculus
模糊命题演算
1.
The formal deductive system L * for fuzzy propositional calculus and the revised Kleene logic system 、W、W k, that are relevant to the former in semantics, have been studied, both of which are first proposed by Professor Guo jun Wang.
研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 。
2) propositional calculus
命题演算
1.
To meet the application needs of the incomplete information database,based on original connectives ∧,∨,→, and μ,a new three-valued logic propositional calculus system M.
构造了一种新的三值逻辑命题演算系统M PM和三值逻辑谓词演算系统M FM,证明了其可靠性和完备性,并给出了在查询优化方面的应用。
2.
Methods At first,through the study of the common characteris ties of fuzzy proposi- tional calculus systems,a reasoning operator is obtained on the powerset of fomula set which is satisfied by general fuzzy propositional calculus system;Secondly,with the aid of the thought of cstablishing topological space with to- pological closure operator,the theory of reasoning closure space i.
方法通过对命题演算系统的共同特征的研究,在公式集的幂集格上得到了一般命题演算系统共同满足的一个推理闭包算子,再借助通过拓扑闭包算子建立拓扑空间的思想提出了推理闭包空间理论。
3.
The formal deductive system L * for fuzzy propositional calculus and the revised Kleene logic systems ,W,W k , that are relevant to the former in semantics, has been studied, both of them are first proposed by professor Guo jun Wang.
研究了王国俊教授建立的模糊命题演算的形式演绎系统 L*以及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,给出了 L*系统的一种改进系统 L*0 ,并证明了二者之间的等价性 ,为形式演绎系统 L* 的研究和应用提供了一个有益的途
3) sentential calculus
命题演算
1.
The authors give a brief introduction to Hilbert s type intuitionistic system of first order sentential calculus,and prove some theorems of this system by logical deduction method.
简要介绍了一阶命题演算的希尔伯特型直觉主义系统 ,运用逻辑演绎的方法证明了此系统的一些定理 ,其目的在于加深对直觉主义系统中概念的理解 ,便于对此系统的进一步研究及应用 。
2.
Two intuitionistic systems of firstorder sentential calculus, Hilbert s type(HSI) and natural deduction type(NDSI), were introduced.
介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关
5) sub-fuzzy formulas
亚模糊命题
1.
The concept of sub-fuzzy formulas was introduced.
引入了亚模糊命题的概念。
6) propositional logic calculation
命题逻辑演算
1.
This paper introduces a method for propositional logic calculation.
介绍了命题逻辑演算方法。
补充资料:构造命题演算
构造命题演算
constructive propositional calculus
构造命题演算【。班.。”比犯p润p旧I柱门目因回uS;一口仍临…”..oe肚,.c月.姗..e“.3..a..后l 描述在构造数学(constructive mathematics)观点下永真的表达式的推导方法的逻辑演算(fogical calcu-lus).“构造命题演算”一词通常指的是直觉主义命题演算(intuitionistie ProPC‘itional calculus).然而,在某种构造主义的特定解释下,直觉主义命题演算是不完全的.例如,著名的R谓e公式(Rose formula) ((二,月〕A)〕(二,刁V,月))〕(,,刁V,A),其中A是公式,pV,q,而p,q是命题变元,在直觉主义命题演算中是不可推导的,同时在递归可实现的幻eene解释下是恒真的,至少在接受构造选择原理(constructive selection prindple)(MapKoB厚理(Mar-kov PrindPle))时是如此.实质问题是研究不同的构造数学语义的构造命题演算的完全性.
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条