formal system

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

给出了一种新的多值逻辑系统，公理化所得到的ＧＭＬ３形式系统与二值逻辑有本质的区别，二值逻辑是它的一个退化。

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表达式元性理论形式系统的基础上 ,通过引入所谓的引用表达式和协引用表达式的形式表示 ,对其进行了扩充 。

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.

本文以等值置换为推理规则,以交换律、结合律、分配律、吸真律和排中律为公理建立一命题逻辑形式系统。

The Space-Oriented Design (SOD) is derived from the fundamental researches of Spatial Form System (SFS).

面向空间设计的理论模型来源于对空间形式系统所作的基础性研究。

The system forms of how to carry out central heat supply and household heat metering for new residence are introduced.

从设计的角度阐述了新建住宅集中供暖分户热计量实施的几种系统形式 ,并进行比较 ,指出其优缺点。

Describes the scope, standard and system form of clean system design, and also the related energy saving design.

探讨了生产原料发热量和CO2散发量、通风量的计算方法,空调末端系统形式,并举例进行说明。

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.

提出了热水供暖系统形式的分类方法,列出了系统形式分类总表、系统形式图式,并对各种系统形式的特点及适用条件等进行了论述。

incompleteness of formal system

形式系统的不完全性

Formalization of Propositional Calculus Form Systems in Isabelle/HOL;

命题演算形式系统在Isabelle/HOL中的形式化

The Format System Mode of Constructing Enterprises Safety Culture;

论企业安全文化建设的形式系统模式

A Study of Form System-safety Culture of Enterprise and Its Assessment System;

企业安全文化形式系统及其评价系统研究

The Formal System AS2 of Aristotelian Mixed Syllogism;

亚里士多德的混合三段论形式系统AS~2

circular-cage dynode system

圆形鼠笼式倍增系统

The Significant Form,the Research on Logo Guidance System

有意味的形式——标识导向系统形态诌议

Formal Semantics of Architecture Model of Collaborative Systems

协同系统体系结构模型的形式化语义

ring net for distributed processing system

分布式处理系统环形网络

Network pattern of naval ship synthesized platform management

舰船综合平台管理系统网络形式探讨

arranged or displayed systematically in table form.

系统地以表格的形式排列或显示。

"To plan out in systematic, usually graphic form"

(通常以图表形式)进行系统地计划.

The system volume information structure has an invalid disk style field.

系统卷信息结构的磁盘形式字段无效。

The form of consciousness is the system of treble structures.

意识的形式是由三重结构组成的系统。

The Abstraction and Formalized Verification of Heating Hybrid System

供热混合系统的抽象及其形式化验证

The Formal Verification Techniques for the Timed System Using Timed Automata;

基于自动机的时间系统形式验证技术

Research on the Formal Design of Digital Hardware: Theories and Approaches;

数字系统形式设计的理论与方法研究

Designing and Formal Analysis Communication Protocol of CBTC System;

CBTC系统通信协议的设计和形式化分析