1) revised Kleene system
修正的Kleene系统
1.
The generalized contradictory theory in subalgebras of revised Kleene system;
修正的Kleene系统中的子代数的广义矛盾式
2.
Theory of generalized tautology in sub-algebras of revised Kleene system
修正的Kleene系统中子代数的广义重言式理论
3.
This work deliveriessome helps for research on the revised Kleene system.
通过对模糊命题演算的形式演绎系统L~*及修正的Kleene逻辑系统W,W,W_k的研究,给出了修正的Kleene系统中广义矛盾式之间的一种降级算法并讨论了它的性质和应用,最后在广义矛盾式理论中讨论了广义语义HS规则和广义语义MP规则,为进一步对修正的Kleene逻辑系统的研究提供一个有益的工具。
4) revised Gdel logical system
修正的Gdel逻辑系统
1.
Theory of generalized tautology in subalgebras of revised Gdel logical system;
修正的Gdel逻辑系统中子代数的广义重言式理论
5) modified Z-system
修正Z系统
1.
Based on analyzing synthetically several representative domestic and international rock mass quality classification systems in dam region,and relying on massive situ-in geological investigation,elastic wave test and rock mechanical situ-in experiments and indoor test,modified Z-system was put forward.
在综合分析国内外几种常用的坝区岩体质量分级体系的基础上,以大量现场地质勘察、弹性波检测和室内外岩石力学试验为依据,提出修正Z系统,并对相关参数的取值作了初步分析。
6) self-revision system
自修正系统
补充资料：Kleene-Mostowski分类
Kleene-Mostowski分类
Kleene - Mostowski dassification
幻份.一M说勿银幻分类【刃日改比一M加to服匆选坦沥口住叨;心.一Mocosc劝ro期accll中似绷。] 由5 .C .Kleene(【l」)和A.M“to招ki([2」)各自独立提出的数论谓词的一种分类.所有递归谓词的类同时用n。和艺。表示.对每一个k>0，类及定义为由一切能表示为日夕R(y，xt，…，x。)形状的谓词构成的类，其中日是存在最词(qUant政r)，并且R(y，x，，二几x。)是类n卜:中的一个谓词;而n*定义为由一切能表示为丫夕R(y，x，，…，x。)形状的谓词构成的类，其中丫是全称量词，并且谓词R(y，x，，…，x。)属于类艺k一1.用这个方法得到类的两个序列:艺，艺:沉。”’“‘ 工。=n。 n 1 flZ n3‘’‘’‘” 如果一个谓词属于工*或nk，那么对任意j>k，它也属于n，和艺j，即对任意z>k，z*三z，自nz，并且fl*三艺，自n，.如果k>O，那么x*中存在不属于n、的谓词，并且n、中也存在不属于Z*的谓词，即z*\n*笋必，并且n*\工*笋必.一个谓词属于类z*或类n*之一当且仅当它可以用形式算术(颐让田℃tic，fonT以1)的语言表示.如果一个谓词Q(x:，…，x。)属于x*(或n*)，那么二Q(xt，·…x。)属于n*(艺k)，其中，是否定符号.一个谓词Q(x，，…，x，)是递归的(见递归谓词(~i祀p阁卜cate))，当且仅当Q(x，，…，x。)和.，Q(x，，…，x。)都属于艺:，即z:自fl;=x。=fl。.如果k>0，那么(名*+:自flk+，)\(艺*Ufl*)笋必. 定义于形式算术的语言中的集合的分类(d创铝ifiul-石曲of sets)依据谓词的分类进行:一个集合M属于n。(或x*)，如果谓词“x‘M”属于这个类.【补注】nj自乙通常用△j表示.幻优。e一MOSto仍石ki分类一般也叫做算术谱系(ari让田货ti口1场郎助山y).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条