...
机译:消除经典Lambek逻辑的消除和可判定性
机译:Herbrand-Confluence用于经典一阶逻辑中的削减消除
机译:用于经典谓词逻辑的深度推理系统中的Cut Elimination
机译:具有经典命题逻辑的Lambek微积分的关系语义学
机译:消除经典逻辑的原子切割
机译:情境演算:可判定性和基于非单调归纳定义逻辑的方法。
机译:决定对丙型肝炎的无干扰素治疗:更新肝刚度临界值以最大程度地受益
机译:双古典连接逻辑及其模态扩展:削减,完整性和二元性
机译:线性逻辑中的结构切割消除