Article-Journal

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
模糊逻辑的紧致性
引用
知识推理的一个模型
陆汝钤, Mingsheng Ying
引用
Institution中自由理论态射的合成
引用
Fuzzy reasoning of Gentzen type
引用
Gentzen 型模糊推理
引用
Quantifiers, modifiers and qualifiers in fuzzy logic
Mingsheng Ying, Bernadette Bouchon-Meunier
引用 DOI URL