机译:命题霍恩逻辑中的插值
Univ Groningen, Johann Bernoulli Inst Math & Comp Sci, POB 800, NL-9700 AV Groningen, Netherlands;
propositional Horn logic; uniform interpolation; polynomial interpolation; lazy Kleene algebra;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:格值命题逻辑系统中格值角号广义子句的alpha解析方法
机译:格值命题逻辑系统中格值角号广义子句的α解析方法
机译:从命题插值派生的非经典逻辑的一阶插值
机译:角集的语义参数调制(逻辑,等式,定理证明)。
机译:结合归纳逻辑编程和命题模型的基于家庭的蛋白质远程同源性检测的判别方法
机译:用计算机做逻辑:在直觉命题逻辑的片段中进行插值