...
机译:形式演绎系统£〜*(NM-logic)和Cantor空间中的最大一致理论的特征
Institute of Mathematics, Shaanxi Normal University, Xi'an 710062, China;
non-classical logics; formal deductive system £~*; nilpotent minimum logic; R_0-algebra; maximal consistent theory; satisfiability theorem; compactness theorem; topology; cantor space;
机译:形式演绎系统£ *(NM-logic)中的三值和二值Lukasiewicz理论
机译:最大语义下的随机系统形式化测试理论
机译:信息系统相对于其理论的最大一致扩展
机译:P2P演绎数据库中的广义最大一致答案
机译:完整的概率逻辑演绎系统,应用于Harsanyi型空间。
机译:IV。临床咨询系统医疗决策支持系统和临床研究数据库:A.医疗决策支持和人工智能方法论:形式语言理论在医疗决策中的运用
机译:将逻辑应用于哲学神学:肯定上帝存在的正式演绎推理,假设在SIGMA正式公理理论中的知识的先验
机译:一个形式演绎问题解决系统