机译:继发性结石,以诱导和无限下降
Department of Computing, Imperial College London,London, UK;
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Edinburgh, UK;
sequent calculus; inductive definitions; infinite descent; cyclic proof; cut-elimination;
机译:反事实逻辑的自然演绎计算和后续计算
机译:基于连续结石的适当BC域的表示
机译:时间逻辑的循环型序列结石
机译:归纳和无限下降的完整后续计算
机译:关于使用图形计算:各种图解代数中的中心,零位霍克希尔德同调性和归纳和限制函子的可能组成。
机译:从真相比较游戏到Gödel逻辑的相依关系计算
机译:用于感应和无限下降的完整后续结石
机译:正态模态命题逻辑的后续计算