1) deduction-based decision
演绎判定
1.
As most of the present decision methods of propositional formulas are based on semantics and cannot give an important reference in many reasoning applications,namely deduction procedure,a deduction-based decision method that can give the deduction procedure during the decision procedure is presented based on the propositional calculus system L.
文中针对命题演算系统L,提出了一种可同时给出演绎过程的判定方法——演绎判定方法。
2) Deduction Theorem
演绎定理
1.
By means of theory of truth degrees of formulas,according to deduction theorems and completeness theorems,the new concepts of porlar index and consistency degrees for general theories in Lukasiewicz propositional fuzzy logic systems are introduced.
根据演绎定理和完备性定理,应用公式真度理论在Lukasiewicz命题模糊逻辑系统中讨论理论Γ的相容性,根据矛盾式■是Γ-结论的真度的大小,提出了一种新的极指标和相容度的概念。
2.
Having studied the formal deductive system L~* for fuzzy propositional calculus, and investigated the fuzzy deduction theorem of L~* system in detail.
对其中的演绎定理进行了详细讨论,得到了在一定条件下的L 系统中的演绎定理:设A,B∈F(S),若├(q→ p∨p)∨q→A,Γ F(S),则Γ├A→B当且仅当Γ∪{A}├B。
3) law of deduction
演绎定律
4) deductive theorem
演绎定理演绎定理
5) fuzzy deductive theorem
模糊演绎定理
1.
The basic properties of operator :F(S)×F(S)→F(S) have been investigated, and a fuzzy deductive theorem has been given.
研究了模糊命题演算的形式演绎系统L 以及在语义上相关的修正的Kleene逻辑系统 W ,W ,Wk 和R0 代数 ,讨论了算子 :F(S)×F(S)→F(S)的一些基本性质 ,给出了L 系统中的模糊演绎定理 。
6) generalized deductive theorem
广义演绎定理
1.
Finally,the completeness of BL*Δ is proved by using the properties,and the generalized deductive theorem in BL*Δ is given.
首先在BL*系统的基础上添加了一元逻辑连接词Δ,得到BL*系统的一种模式扩张BL*Δ系统,随后提出了ΔBR0-代数的概念,其次研究了ΔBR0-代数中的Δ-滤子及其性质,最后证明了BLΔ*系统的完备性,给出了BLΔ*系统的广义演绎定理。
补充资料：本质不可判定理论
本质不可判定理论
essentially-undetidabfe theory
本质不可判定理论【曰”由叨y一田吐幼面b晚口峨叮;c拟e-eTne。。0.，a3少翔班胭坦T即，阳] 一个算法不可判定的逻辑理论，它的所有相容扩张也是不可判定的(见不可判定性(也d戊山腼ty)).一个初等理论间改压泊扭口山印巧)为本质不可判定理论，当且仅当它的每一个模型都有一个不可判定的初等理论.每个完全不可判定理论都是本质不可判定理论，如形式算术(面面拙度，扔m创).没有一个具有穷模型的理论可为本质不可判定理论. 一个适当的有穷可公理化的初等理论S的本质不可判定性，通常用于证明一个给定理论T的不可判定性(见「l]，[2l).在这种证明中，S在T的任何模型M中被解释.解释的定义域和S命名的元素的值，均用T的语言中相应公式在模型M中的值加以定义.如果该解释为S的模型，则T是不可判定的;而且，这个理论是拳债不可剖宇的(址淤山妞询旧山戈初以比)，即它的与T同样署名的所有子理论都是不可判定的.这个方法用来证明初等谓词逻辑、初等群论、初等域论等的不可判定性.有穷公理化的形式算术常用作本质不可判定理论S.艾达尔上同调〔启.k以‘阅劝粉;，T舰‘。从e二oroMo刀卜r皿] 在艾达尔拓扑帕欧topolo咖中的层的上同调.艾达尔上同调是按标准的方式用导出函子来定义的.设X是概形，戈:是X上的艾达尔拓扑，则戈，上的Abel群层范畴是有足够多内射对象的Ab日范畴.整体截面函子r是左正合的，其导出函子了}~H“(X，劝(这里了是X。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条