反向MT问题相关论文
通过一个F(S)上的预序,提出了反向MP问题,多重反向MP问题以及反向MT问题,多重反向MT问题.在(L)ukasiewicz命题逻辑系统中讨论并得......
通过一个F（S）上的预序，提出了反向MP问题，多重反向MP问题以及反向MT问题，多重反向MT问题．在Lukasiewicz命题逻辑系统中讨论并得到了以上......
