机译:命题逻辑的形式化证明系统
formalization of logicproof systemssequent calculusnatural deductionresolution;
机译:命题逻辑和成套的最优证明系统
机译:命题投影时态逻辑的完整证明系统
机译:将二值命题逻辑中的卡尔马可推导性证明推广为多值逻辑
机译:有效命题逻辑的证明系统
机译:决议逻辑,GENTZEN系统和文字树。
机译:执行逻辑计算的细菌联盟的形式化设计过程
机译:一种用于命题$ \ mu $ -calculus的自然演绎风格证明系统 它在归纳型理论中的形式化
机译:命题时态逻辑的证明编辑器