Scifaro

中文

(对偶) Hoops 具有唯一平分性质

人工智能 2013-10-15 v2 逻辑

作者: Rob Arthan , Paulo Oliva

在 arXiv 上查看 ↗ PDF ↗

摘要

连续逻辑通过在命题上添加平分算子扩展了多值 Lukasiewicz 逻辑。该扩展旨在为连续结构提供更令人满意的模型论。这些逻辑的语义可以通过称为 hoops 的代数结构的特化来给出。作为命题连续逻辑元理论研究的一部分，我们借助 Prover9 发现了一个重要代数定律的证明。

关键词

连续逻辑 Lukasiewicz 逻辑平分算子 hoops 代数定律 Prover9 模型论

引用

@article{arxiv.1203.0436,
  title  = {(Dual) Hoops Have Unique Halving},
  author = {Rob Arthan and Paulo Oliva},
  journal= {arXiv preprint arXiv:1203.0436},
  year   = {2013}
}

备注

17 pages, 5 figures, published as a chapter in the Bill McCune Memorial Festschrift