Probabilistic Propositional Logic; Boolean Algebra; Homomorphism;
机译:具有经典命题逻辑的Lambek微积分的关系语义学
机译:非标准语义加倍的概率命题演算
机译:关于古典和非古典命题逻辑的不同系统的相对效率
机译:概率命题逻辑系统是主题微积分经典正规系统的事件语义
机译:决议逻辑,GENTZEN系统和文字树。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:通过经典逻辑微积分对命题直觉逻辑顺序进行校验搜索