机译：基于Zadeh相似关系的多值模态介词逻辑的扩展Gentzen型表述
机译：关于Łukasiewicz的有限多值命题逻辑的公理系统的Rosser-Turquette方法
机译：Genten-Type Sequent Calculi，具有古典否定的扩展Belnap-Dunn逻辑：一般框架
机译：命题多值逻辑中的经典Gentzen类型方法
机译：多值逻辑代数中的分类和基枚举
机译：结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译：一组第一阶经典公式的决策方法及其在非古典命题逻辑的决策问题的应用
