机译:束逻辑的统一显示证明理论
bunched logicdisplay calculusproof theorycut-eliminationsubstructural logic;
机译:捆绑逻辑显示
机译:捆绑逻辑显示
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:聚焦证明 - 搜索逻辑的作用
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:成束逻辑的统一显示证明理论
机译:机械化证明理论:资源意识逻辑和证明转换提取隐含信息