中介命题系统MP 相关硕士博士期刊学术论文 - 信丰网

中介命题系统MP相关论文

中介命题扩张系统MP^＊推理规则集的简化

中介系统是以中介原则为基础，以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑ML，它由中介命题系统MP及其......

期刊

中介系统中介命题系统MP 中介命题扩张系统MP^＊命题联结构推理规则 medium system inference rule medium propos

看过本文同时还关注