1) Formal system LN
形式系统(?)N
2) The axiom of the formal system N for the natural numbers based on Lin's entailment System Cnd
其于制约系统Cnd的数论形式系统N的形式公理
3) system form
系统形式
1.
The system forms of how to carry out central heat supply and household heat metering for new residence are introduced.
从设计的角度阐述了新建住宅集中供暖分户热计量实施的几种系统形式 ,并进行比较 ,指出其优缺点。
2.
Describes the scope, standard and system form of clean system design, and also the related energy saving design.
探讨了生产原料发热量和CO2散发量、通风量的计算方法,空调末端系统形式,并举例进行说明。
3.
Proposes the classification method of the hot water heating system forms,presents the classification table and chart of system forms,and discusses the characteristic and application condition of different system forms.
提出了热水供暖系统形式的分类方法,列出了系统形式分类总表、系统形式图式,并对各种系统形式的特点及适用条件等进行了论述。
4) formal system
形式系统
1.
In this paper,we have given a novel kind of many-valued logic,GML 3 formal system is different from two-valued logic,and two-valued logic is degeneration of GML
给出了一种新的多值逻辑系统，公理化所得到的ＧＭＬ３形式系统与二值逻辑有本质的区别，二值逻辑是它的一个退化。
2.
Four kinds of expressions,that is,application expression,abstract expression,combination expression and selection expressions are studied in[2],and a formal system for the theory of expressions with arities is given in[1].
在 [1 ]所给出的Martin_L f表达式元性理论形式系统的基础上 ,通过引入所谓的引用表达式和协引用表达式的形式表示 ,对其进行了扩充 。
3.
In this paper, a propositional logic formal system is established by using the equivalent replacement as the only rule of inference,and by using commutative law, associative law, distributive law, absorption law and the law of excluded middle as axioms.
本文以等值置换为推理规则,以交换律、结合律、分配律、吸真律和排中律为公理建立一命题逻辑形式系统。
5) form system
形式系统
1.
The Space-Oriented Design (SOD) is derived from the fundamental researches of Spatial Form System (SFS).
面向空间设计的理论模型来源于对空间形式系统所作的基础性研究。
6) n-degree real polynomial system
n次多项式系统
补充资料：Gentzen形式系统
Gentzen形式系统
Gentzen formal system
C.吐别翔形式系统【G仪由.1肠。1.】攀加n;re明ella中。-州幼研a，e毗TeMa] 用于形式化和研究由引人和消去假设所构成的证明的逻辑演算.由G.〔沁n切泊(【2])提出.C记n切沈形式系统分为自终堆导系维(姐t切ral山tiVa由ns那让幻‘)(或自然演绎系统(natm川山劝‘tions外t已比‘)，它模仿了普通数学推导的形式，特别适合于用前者的记法表示后者)和年烈不琴维(涨叼理nts声咖)(或谬粤枣纱(logistics岁tefl招)，它允许综合一个给定公式所有可能的证明以得出关于一个证明的正规形式的结论，并且应用于证明论(p代幻ft址”ry)和自动定理证明理论).有时把〔沁n切m形式系统与矢列式型的系统等同.然而，自然演绎系统可以用矢列式(逻辑中的)(咧议泊t(in拓沙))，而矢列式〔沁n切m形式系统有时形式化为公式演算而不是矢列式演算;所有(记n切泊形式系统有时可看作自然演绎系统，因为它们在某种程度上反映了处理逻辑连接词和假设的通常方法. 自然演绎系统由引人和消去逻辑符号的规则组成.只有少数逻辑公理(通常一个或两个)，例如，语言泛丫，。，，}的经典命题演算的自然变式由公理A~A以及下列规则定义:引人规则(加尔刃‘tionru-此): A，T~B，，十、 r~(A OB)、 A，r~BA，艺~，B，_+、 r，艺~，A r~A(b)，、、、 一一达-一‘‘竺立二2‘一(丫+、. T~丫xA(x)、’其中b在r或丫，A(‘)中不出现;哨专权则(eli代吐皿-tion创巴):r~A艺~(人。B)，，一、r~丫茎冲(不立，。一、一归一)，一(丫一工 r，艺~B、”r~A(t) r~B艺~，B，_一、r~，，A‘__一、 r，艺~么、z’r~A其中t是任意项;以及结构规则(struCtuxal nd。)二 勺工二左丁(力。细(化压眨留址或止山血g))， A，r~C、’r一:、--------------一’ A，A，r~C，『燎I__，_、;__、、 之三二止二二」-一.‘止二(压缩(con派以ion))， A，r~C‘下二、- 告奇条带召 (重排(众习们旧班，，翔t)或置换(伴皿utation)). 线下的矢列式称为规则的结论(concl璐沁n oftherule)，而线上的称为煎攀(pn组团酬资)·公理A~A表示假设A的引人;规则(。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条