机译:远期驳斥的不可行能力与可释放之间的二元性 - 搜索Lntuitionistic命题逻辑
Univ Milan Dipartimento Informat Via Celoria 18 I-20133 Milan Italy;
Univ Insubria Dipartimento Sci Teor & Appl Via O Rossi 9 I-21100 Varese Italy;
Proof-search procedures; intuitionistic propositional logic; sequent calculi;
机译:命题可证明逻辑中公式系统超弱完整性的检测算法
机译:命题可证明性逻辑中的非表格m-预完成式类
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:直觉命题逻辑的正不可证明性演算
机译:单子直觉和模态逻辑承认可证明性
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:远期驳斥的无法潜在和可释放之间的二元性 - 搜索直觉的命题逻辑