1.
Description and Refinement of Distributed Real-time Software Architecture Based on Temporal Logic Language
基于时序逻辑语言的分布式实时软件体系结构描述与精化
2.
A Method of the Description and Refinement of Real-time System of Selling Tickets Based on Temporal Logic
一种基于时序逻辑语言的实时售票系统描述与精化方法
3.
Formalization and Verification of Pointers in the TemporalLogic Language XYZ/E Programs
时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文)
4.
Description and Refinement of the Bank ATM System Based on UML and Temporal Logic Language;
基于UML和时序逻辑语言的银行ATM系统描述与求精
5.
Description and Refinement of the Certification Authority Attestation System Based on XYZ/E;
基于时序逻辑语言XYZ/E的CA认证系统描述与求精
6.
Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义
7.
From Language to Logic--Category and Type Logic Sequence;
从语言到逻辑——范畴类型逻辑序列
8.
The Declarative Semantics of Logic Programming Language G(?)del
逻辑程序设计语言G(？)del的说明性语义
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.
Natural Language & Logic Language;
自然语言和逻辑语言:现代逻辑的延伸
12.
The Formalized Procedural Semantic of Logic Programming Language G(?)del
逻辑程序设计语言G（?）del的形式化过程性语义
13.
Denotational Semantics of Dynamic Fuzzy Logic Programming Language
动态模糊逻辑程序设计语言的指称语义
14.
Semantics Description of UML2.0 Sequence Diagrams Using the Temporal Logical Language XYZ/E;
基于XYZ/E的UML2.0顺序图的时序逻辑语义描述研究
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.
法律逻辑不仅运用形式逻辑的知识,还运用辩证逻辑的知识,以及语言逻辑,论辩逻辑等逻辑知识。