...
机译:不熟悉的传递闭合逻辑证明理论
Ben Gurion Univ Negev Comp Sci Dept POB 653 IL-84105 Beer Sheva Israel;
Royal Holloway Univ London Dept Comp Egham TW20 0EX Surrey England;
Induction; transitive closure; infinitary proof systems; cyclic proof systems; soundness; completeness; standard semantics; Henlcin semantics;
机译:树上的单子二阶逻辑和传递闭合逻辑
机译:通过无限下降的传递闭合逻辑中的统一归纳推理
机译:二阶传递闭合逻辑中的表现力
机译:通过没有充分依据的证明来消除对弱模态Grzegorczyk逻辑的消除
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:通过非有根据的方式消除模态Grzegorczyk逻辑 样张
机译:传递闭包与逻辑程序并行执行策略综述