机译:证明的直觉逻辑的算术完整性
Department of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University, Moscow 119992, Russia;
logic of proofs; intuitionistic arithmetic; admissible rules.;
机译:通过简化为一阶单分类逻辑,简单证明二阶古典和直觉逻辑的完备性定理
机译:关于证据逻辑的算术完整性
机译:直觉逻辑和模态逻辑S4中用于证明搜索和计划的多主体对话和对话序列
机译:从正直觉有界算术到单调证明复杂性
机译:线性逻辑,证明几何和完全完整性的一种分类方法。
机译:一种使用QCA实现具有成本效益的算术逻辑电路的新型可逆逻辑门及其系统方法
机译:通过简化为一阶单分类逻辑,简单证明二阶古典和直觉逻辑的完备性定理
机译:解释逻辑的算术完备性证明