说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 可有限分离的正规逻辑系统
1)  finite-separable regular logical system
可有限分离的正规逻辑系统
1.
The main result is:For a finite-separable regular logical system which is stronger than if LST theorem and ω_1 compactness theorem hold on it,then.
主要结果是：如果是一强于的可有限分离的正规逻辑系统，且在上ＬＳＴ定理和ω_１－紧致性定理成立，则与等价。
2)  normal residuated lattice
基于正规剩余格的逻辑系统
3)  Normal Modal Propositional Logic System
正规模态逻辑系统
1.
Discussing about the Completeness Proof of Normal Modal Propositional Logic System
对正规模态逻辑系统完全性证明的层层刨析,可以更好地把握和使用完全性证明方法。
4)  positive logic system
正逻辑系统
5)  revised Gdel logical system
修正的Gdel逻辑系统
1.
Theory of generalized tautology in subalgebras of revised Gdel logical system;
修正的Gdel逻辑系统中子代数的广义重言式理论
6)  limitation of logics
逻辑的有限性
补充资料：Post正规系统


Post正规系统
'Post nonnal system

　　P峨杖正规系统11、成翻的n目叮stan;noeTa，opM幼‘-“明e“eTeMa」，正规演算(加确al ealculus) R减典范系统(PostcanonicalsysteTn)的一种重要特殊情况.c.幻.Mac二，撰杜小杨译
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条