2010/12/22 by J.A. Bergstra, Bergstra, Jan A., Alban Ponse +1 · 1 citation
Computer Science · #Advanced Algebra and Logic #F.3.2 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.1012.5059
openalex publication_date 2010/12/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.