机译:具有子公式属性的命题Dummett逻辑的终止计算
Dipartimento di Informatica, Sistemistica e Comunicazione, Universita di Milano-Bicocca, Piazza dell'Ateneo Nuovo, 1,20126 Milano, Italy;
Dummett logic; Tableau calculi; Automated theorem proving; Subformula property;
机译:具有子公式属性和最小深度反模型的直觉命题逻辑的无收缩线性深度后续计算
机译:从子式性质到命题继发结石的切入性
机译:基于多前提Table演算的命题Dummett逻辑的快速决策过程
机译:Godel-Dummett逻辑的目标导向计算
机译:模态和直觉性命题的片段。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:用子公式属性终止命题Dummett逻辑的计算
机译:正态模态命题逻辑的后续计算