1) simplified formal deductive system L * 0
简化形式演绎系统L0*
2) Formal deductive system B
形式演绎系统B
3) formal deductive system
形式演绎系统
1.
The Operationand Deductive Theorem in the Formal Deductive System L~*;
形式演绎系统L~*中的运算与演绎定理
2.
A formal deductive system L* has been introduced, and L* has been applied to fuzzy reasoning.
研究了模糊逻辑的形式演绎系统L 及R0 代数的性质,得到形式系统L 的两个更简捷的等价系统,证明了R0 代数的对偶代数是有界逆序对合BCK 代数,并给出关于R0 代数的一个重要反例,说明了R0 代数中∨与→是各自独立的。
3.
The formal deductive system L is fuzzified in both aspects of semantics and syntax,and a meaningful extension L is obtained.
从语义和语法两个方面将形式演绎系统L 层次化 ,得到L 的一个扩张 ,从而增强了系统L 的表达能力 ,使之能更有效地应用于模糊系统的研究 。
4) formal deductive system L *
形式演绎系统L*
5) quasiformal deductive system
准形式演绎系统
6) improved formal deductive system L * 0
改进形式演绎系统L*0
补充资料：几乎可简化的线性系统
几乎可简化的线性系统
almost - reduciHe linear system
具有如F性质:存在个常系数系统t公“B夕.夕已R门、并且对姆一个。0，有月，仍.圈变换(LyaPUn(〕vt份I石for-ma加n)L￡(t)，使得经过变量替换x=L。(t)v后，系统(*)可变为系统 少=(B+C巡(t)乏、，，其中 }缪}IC!(‘)}}<标一个可简化的线性系统(甩ILlciblel~s”lell刃)均为儿乎可简化的，几乎可简化的线性系统!曲n喊一悦山心翻晚血.r卿劝曰l;no，T.np皿。朋Ma，几“能.“a，e“eTeMa]，常微分方程的 一个系统 义=A(r)x，x任R”，(*) A(·):R*Hom(R丹，R月)，
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条