机译:基本命题逻辑的某些保守扩展的Gentzen风格公理化
Institute for Studies in Theoretical Physics and Mathematics;
Department of Mathematics Sharif University of Technology;
Basic Logic; Cut-Elimination; Interpolation; Sequent Calculus;
机译:基本谓词演算的Gentzen式公理化
机译:命题逻辑的公理化
机译:命题和情态团队逻辑的公理化
机译:依赖于命题逻辑:公式依赖性和公式遗忘 - 申请信仰更新和保守延期
机译:免剪裁的Gentzen风格的系统,用于S4和中间逻辑的某些常规扩展
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:命题和情态团队逻辑的公理化