XYZ/E is the first executable temporal logic language,which can desribe abstract static semantics and also express programming dynamic semantics.

XYZ/E is the first executable temporal logic language,which can represent both of the static and dynamic aspects of program.

XYZ/E is the first executable temporal logic language, which can represent both of the static and dynamic aspects of program.

The temporal logic language(TLL) XYZ/E can represent both dynamic semantics and static semantic under a unified framework and carry out the smooth transition from abstract specification to execuable program.

Syntactic and Semantic Characteristics in Chinese and Studies on Language Logic;

modern time s Chinese novels didn t discard the character s reality narration which the ancient novels are good at,but the character of the language logic in the colloquialism classical narration is more outstanding.

This paper poses a query to three modes of expression in language logic and then puts forward new modes of expression in order to elucidate the rhetoric of "enigmatic discourse" or euphemism, ambiguous clauses and the relation between parole and langue in language logic.

This paper analyzes the difference of architecture culture in the west and east from the linguistic point of view and discusses it from three aspects, namely, the element of language, the logic of language and the culture of language.

This article analyzes the influence of this trichotomy on the philosophy and logic of language in detail,and on top of this,illustrates the significance of pragmatics turn in the fields of theoretic.

In this paper was presented a scheme of MDP--PROLOG++,an object-oriented multilayer distributed logic language,was expounded design of the installations of object-oriented and multilayer concurrence of MDP-PROLOG++.

Natural language is the means by which people communicate with each other while logic language is the means by which people communicate with computer.