1.
Formalization of Propositional Calculus Form Systems in Isabelle/HOL;
命题演算形式系统在Isabelle/HOL中的形式化
2.
The Operation and Weak Deductive Theorem in FormalDeductive System L~*;
形式演绎系统L~*的运算与弱演绎定理
3.
The Operationand Deductive Theorem in the Formal Deductive System L~*;
形式演绎系统L~*中的运算与演绎定理
4.
Hilbert s Type Intuitionistic Systems of First Order Sentential Calculus;
一阶命题演算的希尔伯特型直觉主义系统
5.
Anmotation for the Proof Axiomatic Independence of Proposotional Calculas;
关于命题演算公理系统独立性证明的注记
6.
Comparison between the Classical Propositional and the Propositional Modal Systems
古典命题逻辑与模态命题逻辑的形式系统之比较
7.
The proving procedures of mathematical propositions construct the system deduced progressively from known conditions.
数学命题的证明步骤是由已知条件逐步推演形成的系统。
8.
Development and Strategy of NMT Chinese Composition Today
新时期高考作文命题形式演变及其应对策略
9.
Design of Artificial Life Demo System Based on Genetic Algorithm
基于遗传算法的人工生命演示系统设计
10.
MP Resolution Inference Based on Filter of Lattice-valued Proposition Logic System
格值命题逻辑系统中基于滤子的MP归结演绎
11.
The proposition of character on definition, kind and form will be explained and studied roundly in this paper.
对性质命题的定义、类、质命题与性质命题形式、质命题的对当关系做了全新的研究和解释。
12.
Research on Software Architectural Formalism Based on π Calculus;
基于π演算的软件体系结构形式化研究
13.
From the Relationship Between Proposition and Judgment to Observe the Accurate Characteristic of the Formal Logic;
从命题与判断的关系看形式逻辑精确化特征
14.
Resolution Method of Intuitionistic Operator Fuzzy Logic;
直觉算子模糊命题逻辑系统中的归结方法
15.
A Study of the Systematic Evolution Pattern of the Graphics in the Visual Communication Design;
视觉传达设计中图形的系统演化方式研究
16.
Research on Algorithm for Picking up Graph in Interactive Graphics Systems;
交互式图形系统中图形拾取算法的研究与应用
17.
Systematic Evolution and Some Practical Routes of Project Surety Bond High Quota Pattern;
工程担保高额模式的系统演进与若干实践问题
18.
Provable degree of formula on theories in the propositional fuzzy logic system Gd;
命题模糊逻辑系统Gd中公式的理论可证度