杰拉德·R·雷纳德·德拉瓦莱特*
研究成果:对日记账的贡献›第条›学术›同行审查
本文给出了命题Horn逻辑（有限或无限）的集值函数F:（sic）（PR）->（sic）；这里PR是原子命题的集合。研究集值函数的性质，并证明它们满足弱惰性Kleene代数的公理。这些公理和其他性质被用来证明命题Horn逻辑的一致左插值。然后我们引入薄集值函数，它使我们能够证明命题Horn逻辑的多项式插值。对于无限情况，使用选择公理。
}
TY-JOUR公司
命题Horn逻辑中的T1-插值
AU-德拉瓦莱特（Gerard R.Renardel）
上一年-2018/9
2018年9月1日
N2-在本文中，我们给出了命题Horn逻辑（有限或无限）在集值函数F:（原文如此）（PR）->（原文如此）（PR）方面的抽象表示；这里PR是原子命题的集合。研究集值函数的性质，并证明它们满足弱惰性Kleene代数的公理。这些公理和其他性质被用来证明命题Horn逻辑的一致左插值。然后我们引入了薄集值函数，这使我们能够证明命题Horn逻辑的多项式插值。对于无限情况，使用选择公理。
AB-本文给出了命题Horn逻辑（有限或无限）的集值函数F:（sic）（PR）->（sic）的抽象表示；这里PR是原子命题的集合。研究集值函数的性质，并证明它们满足弱惰性Kleene代数的公理。这些公理和其他性质被用来证明命题Horn逻辑的一致左插值。然后我们引入薄集值函数，它使我们能够证明命题Horn逻辑的多项式插值。对于无限情况，使用选择公理。
KW-命题Horn逻辑
KW-均匀插值
KW-多项式插值
KW-惰性Kleene代数
U2-10.1093/log.com/exx042
DO-10.1093/log.com/exx042
M3-物品
序号-0955-792X
VL-28
SP-1189
EP-1215
JO-逻辑与计算杂志
JF-逻辑与计算杂志
IS-6标准
急诊室-