1.
Description and Refinement of the Certification Authority Attestation System Based on XYZ/E;
基于时序逻辑语言XYZ/E的CA认证系统描述与求精
2.
Formalization and Verification of Pointers in the TemporalLogic Language XYZ/E Programs
时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文)
3.
Semantics Description of UML2.0 Sequence Diagrams Using the Temporal Logical Language XYZ/E;
基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究
4.
Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义
5.
From Language to Logic--Category and Type Logic Sequence;
从语言到逻辑——范畴类型逻辑序列
6.
The Declarative Semantics of Logic Programming Language G(?)del
逻辑程序设计语言G(？)del的说明性语义
7.
Description and Refinement of Distributed Real-time Software Architecture Based on Temporal Logic Language
基于时序逻辑语言的分布式实时软件体系结构描述与精化
8.
A Method of the Description and Refinement of Real-time System of Selling Tickets Based on Temporal Logic
一种基于时序逻辑语言的实时售票系统描述与精化方法
9.
Discussion on Teaching Skills in "Program Logic and C language Realization";
《程序逻辑和C语言实现》教学方法探讨
10.
A comparison between the logic programming languages Gdel and Prolog
逻辑程序设计语言Gdel与Prolog的比较
11.
Description and Refinement of the Bank ATM System Based on UML and Temporal Logic Language;
基于UML和时序逻辑语言的银行ATM系统描述与求精
12.
Natural Language & Logic Language;
自然语言和逻辑语言:现代逻辑的延伸
13.
The Formalized Procedural Semantic of Logic Programming Language G(?)del
逻辑程序设计语言G（?）del的形式化过程性语义
14.
Denotational Semantics of Dynamic Fuzzy Logic Programming Language
动态模糊逻辑程序设计语言的指称语义
15.
Language Logic or Philosophy Logic --Appreciation of Aristotle s Logic;
语言逻辑还是哲学逻辑——为亚里士多德逻辑正名
16.
Looking at the Essence of Mo-ching Logic in View of Linguistic Levels of Modern Logic;
从现代逻辑的语言层次观看《墨经》逻辑
17.
Logic and Language Expression --Argue the application of logic in language action;
逻辑与语言表达——论逻辑在言语行为中的作用
18.
Legal logic uses not only the knowledge of formal logic, but the knowledge of dialectical logic, language logic an debate logic, etc.
法律逻辑不仅运用形式逻辑的知识,还运用辩证逻辑的知识,以及语言逻辑,论辩逻辑等逻辑知识。