机译:经典命题逻辑中的同构公式
isomorphic formulae; classical propositional logic; classical linear propositional logic; categories; equality of deductions; identity of proofs; categorial coherence;
机译:经典命题逻辑中的同构公式
机译:标识同构命题的逻辑中的证明归一化
机译:时间流与ω〜2同构的命题线性时间逻辑
机译:概率命题逻辑系统是主题微积分经典正规系统的事件语义
机译:古典希伯来语和其他闪族语的誓言公式。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:经典命题逻辑中的同构公式