...
机译:Tableau与顺序计算的最小占用量
机译:JTabWb:用于实现终止顺序和Tableau计算的Java框架
机译:具有子公式属性和最小深度反模型的直觉命题逻辑的无收缩线性深度后续计算
机译:继发性结石的直观最小限度外展
机译:Tableau和后续演算的饱和度直至冗余
机译:从文字涵义到对话涵义的自然语言干扰。
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:Tableau vs. sequent Calculi for minimal Entailment
机译:正态模态命题逻辑的后续计算