...
机译:关于命题演算公理系统的变体,I
机译:关于命题演算公理系统的变体,II
机译:命题演算公理系统的一致性和独立性
机译:适用于命题演算系统L *和谓词演算系统Κ*的统一近似推理理论
机译:概率命题逻辑系统是主题微积分经典正规系统的事件语义
机译:解决搜索问题复杂性的逻辑方法:证明复杂性,量化命题演算和有界算术。
机译:个人观点:治理卫生系统的公理
机译:$ varepsilon $ -calcululululululululululums for Some命令模态逻辑。
机译:命题计算的数字化和单一功能计算