机译:NML,F.Esteva和L.Godo的逻辑MTL的示意图扩展
Department of Computer Science & Engineering, Nanchang University, No.235 East Nanjing Road, Nanchang 330029, PR China;
non-classical logics; left-continuous t-norm; MTL system; NM system; lukasiewicz system; NML system;
机译:通过添加弱除数公理对MTL进行原理图扩展
机译:通过添加弱除数公理对MTL进行原理图扩展
机译:通过添加弱分配公理,MTL的示意性扩展
机译:来自SYSTEM MTL(BL)的新原理图扩展系统GNMTL(GNBL)
机译:抽象逻辑和一阶逻辑的扩展
机译:通过Toffoli量子门的经典逻辑整体型扩展
机译:在强标准的完整模糊逻辑上:$ MTL ^ Q _ * $及其扩展