1.
Implement and Formal Analysis of IKEv2;
IKEv2的实现及形式语言逻辑分析
2.
Legal logic uses not only the knowledge of formal logic, but the knowledge of dialectical logic, language logic an debate logic, etc.
法律逻辑不仅运用形式逻辑的知识,还运用辩证逻辑的知识,以及语言逻辑,论辩逻辑等逻辑知识。
3.
Formal Semantics of Framed Temporal Logic Programming Language MSVL
框架时序逻辑程序语言MSVL的形式语义
4.
The Formalized Procedural Semantic of Logic Programming Language G(?)del
逻辑程序设计语言G（?）del的形式化过程性语义
5.
New Point on the Issue of National Sport-language--A Philosophical Explanation of "Informal Logic";
国家体育语言问题新论——“非形式逻辑”的哲学阐释
6.
A Tentative Study of the Intra-transformation of Linguistic Forms;
建立一个逻辑语法范畴——试论语言形式的内部转换问题
7.
Logical Forms of English and Logical Analysis in Translation from English into Chinese;
英语的逻辑形式和英译汉时的逻辑分析
8.
Natural Language & Logic Language;
自然语言和逻辑语言:现代逻辑的延伸
9.
Formalization and Verification of Pointers in the TemporalLogic Language XYZ/E Programs
时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文)
10.
Language Logic or Philosophy Logic --Appreciation of Aristotle s Logic;
语言逻辑还是哲学逻辑——为亚里士多德逻辑正名
11.
A New Progress in the Chinese Logic Research:A Review of Prof.Zhou Chongli s Contribution to the Chinese Logic Formalization;
汉语逻辑研究的新进展——邹崇理汉语逻辑形式化研究述评
12.
Probe into the Learning Model for Paiting Meaning of the "Saying Research" about the Language Logic;
语言逻辑“话语研究”的学术范式意义探析
13.
From Language to Logic--Category and Type Logic Sequence;
从语言到逻辑——范畴类型逻辑序列
14.
Looking at the Essence of Mo-ching Logic in View of Linguistic Levels of Modern Logic;
从现代逻辑的语言层次观看《墨经》逻辑
15.
Logic and Language Expression --Argue the application of logic in language action;
逻辑与语言表达——论逻辑在言语行为中的作用
16.
PROLOG: An acronym for programming in logical languages. POLOG has been developed for use in artificial intelligence applications.
逻辑语言编写程式:是用逻辑语言程式编写的意思。它是因为人工智能的用途而开发的。
17.
On the Logical Nature of Pragmatic Inference --Towards a Formal Theory of Pragmatics;
论语用推理的逻辑属性——形式语用学初探
18.
The form of “Shi Er Ran” can be studied both grammatically and logically.
“是而然”的形式可从语法形式与逻辑形式两个层面加以讨论。