机译:Rational Pavelka Logic的分级Tableaux
Dipartimento di Matematica ed Informatica, Universita di Salerno, 84081 Baronissi, Italy;
机译:有理Pavelka谓词逻辑是Lukasiewicz谓词逻辑的保守扩展
机译:重复和无限性分析计算一阶理性Pavelka逻辑
机译:具有全局高速缓存的ExpTime Tableaux用于分级命题动态逻辑
机译:希尔伯提系统,解析模糊的桌子和Rational Pavelka逻辑中的裁定规则消除
机译:运算逻辑
机译:道德理性:在信仰的形成和评估中依靠逻辑和证据可以被视为道德问题
机译:关于Rational pavelka谓词逻辑的Horn子句的项模型