关于Hoare-McCarthy代数
On Hoare-McCarthy algebras
摘要：
我们讨论了一个代数方法命题逻辑的副作用。为此，我们使用霍尔的条件[1985]，这是一个三元连接可比的if-then-else。从麦卡锡的概念顺序评价[1963年]，我们讨论了一些价值的同余，我们介绍Hoare-McCarthy代数的结构，这些同余的特点。
英文摘要：
We discuss an algebraic approach to propositional logic with side effects. To this end, we use Hoare's conditional [1985], which is a ternary connective comparable to if-then-else. Starting from McCarthy's notion of sequential evaluation [1963] we discuss a number of valuation congruences and we introduce Hoare-McCarthy algebras as the structures that characterize these congruences.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
