摘要
建议
多元归纳逻辑中的瞬时关联 ICLA 2009：第三届印度逻辑及其应用会议记录-第5378卷 我们表明，在频谱交换性和语言不变性的假设下，所谓的唯一规则，即一元即经典卡纳皮亚归纳逻辑已知的瞬时关联原则，也适用于多元归纳。。。 命题理论的约简、可满足关系和逻辑程序语义的推广 多年来，稳定模型语义在程序中获得了对默认否定的正确（二值）解释的地位。 然而，对于具有聚合（约束）的程序，稳定模型语义在其广泛接受的范围内。。。 模态逻辑中的算法对应性和完备性。 二、。 算法SQEMA的多元和混合扩展 在Conradie、Goranko和Vakarelov（2006年， 计算机科学中的逻辑方法 ，2）我们引入了一种新算法， 用于计算一阶等价物并证明基本模态语言模态公式的规范性。 我们在这里扩展 ，首先。。。
