机译:真实算术逻辑逻辑证明理论
CUNY Grad Ctr Comp Sci Program New York NY 10016 USA;
Proof theory; Cut-elimination; Provability logic; True arithmetic;
机译:真实算术逻辑逻辑证明理论
机译:具有证明量词的Goedel证明谓词的可证明逻辑的Kripke风格语义
机译:可证明逻辑相对于PEANO算术的固定扩展
机译:算法算法的算法完整性
机译:谓词模态逻辑的可计算性和证明理论的一些结果
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:Grzegorczyk逻辑和可证明性逻辑中只有一个原子公式的公式(算术证明理论)
机译:解释逻辑的算术完备性证明