Article-Journal

知识推理的一个模型
陆汝钤, Mingsheng Ying
引用
Institution中自由理论态射的合成
引用
Fuzzy reasoning of Gentzen type
引用
Gentzen 型模糊推理
引用
Quantifiers, modifiers and qualifiers in fuzzy logic
Mingsheng Ying, Bernadette Bouchon-Meunier
引用 DOI URL
关于 Herbrand 基上的语义映射
引用
Institution中合并理论的初始与终结语义
引用
An open logic system admitting modification of inference rules
引用
When is the ideal completion of abstract basis algebraic
The concepts of abstract basis and its ideal completion play an important role in domain theory because the category of bases (and …
引用 DOI URL
允许修改推理规则的开放逻辑
引用