自由短路逻辑的一个独立公理化
计算机科学中的逻辑
2018-07-31 v3 逻辑
摘要
短路求值指命题连接词的语义，其中仅当第一个参数不足以确定表达式值时才对第二个参数求值。自由短路逻辑是一种等式逻辑，其中复合语句从左向右求值，而原子求值在求值过程中不被记忆，即复合语句中一个原子的不同出现处的求值可能产生不同的真值。我们为自由SCL提供了简单语义和一个独立公理化。最后，我们讨论了求值策略、其他一些SCL以及副作用。
引用
@article{arxiv.1707.05718,
title = {An independent axiomatisation for free short-circuit logic},
author = {Alban Ponse and Daan J. C. Staudt},
journal= {arXiv preprint arXiv:1707.05718},
year = {2018}
}
备注
36 pages, 4 tables. Differences with v2: Section 2.1: theorem Thm.2.1.5 and further are renumbered; corrections: p.23, line -7, p.24, lines 3 and 7. arXiv admin note: substantial text overlap with arXiv:1010.3674