Article-Journal

Weak confluence and $τ$-inertness
引用
Topology in process calculus (I): Limit behaviour of agents
This paper introduces the modifications on actions of a topology on names of actions and the simplest topology on agents induced by a …
引用 DOI URL
Phase semantics for a pure noncommutative linear propositional logic
We use a many-sorted language to remove commutativity from phase semantics of linear logic and show that pure noncommutative …
引用 DOI URL
A shorter proof to uniqueness of solutions of equations
引用
Perturbation of fuzzy reasoning
引用 DOI
Three-valued and four-valued approach to logic programming with negation
Mingsheng Ying, F-C Liu
引用
A model of reasoning about knowledge
A modal logical language and its Kripke semantics and Aumann semantics are introduced. A complete formal deduction system is …
Ruqian Lu, Mingsheng Ying
引用 DOI URL
A model of reasoning about knowledge
A modal logical language and its Kripke semantics and Aumann semantics are introduced. A complete formal deduction system is …
Ruqian Lu, Mingsheng Ying
引用 DOI URL
Approximate reasoning with linguistic modifiers
Abstract We analyze the influence of some usual linguistic modifiers, such as scalar product, normalization, Bouchon-Meunier modifiers, …
Mingsheng Ying, Bernadette Bouchon-Meunier
引用 DOI URL
模糊逻辑的紧致性
引用