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

中介命题系统相关论文

中介命题系统MP推理规则的独立性问题

对于一个形式系统而言,在不改变其完备性的前提下,形式越简洁,使用越方便.现在中介命题系统MP推理规则集S的简化等价集S1已经建立,......

期刊

中介命题系统推理规则独立性值模型形式系统推理规则集拟逻辑词 the medium propositional system independenc

看过本文同时还关注