sequent calculus; natural deduction; cut elimination; classical logic; atomic cut;
机译:Herbrand-Confluence用于经典一阶逻辑中的削减消除
机译:消除经典Lambek逻辑的消除和可判定性
机译:用于经典谓词逻辑的深度推理系统中的Cut Elimination
机译:消除经典逻辑的原子切割
机译:弥合基于古典逻辑的形式主义与逻辑程序之间的鸿沟
机译:通过具有分散体的量子系统的集合的相干动态尺寸的巨大平行古典逻辑
机译:经典逻辑的原子切割消除
机译:线性逻辑中的结构切割消除