On Hoare-McCarthy algebras
| Authors | |
|---|---|
| Publication date | 2010 |
| Number of pages | 29 |
| Publisher | Ithaca, NY: ArXiv |
| Organisations |
|
| Abstract | 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. |
| Document type | Working paper |
| Language | English |
| Published at | http://arxiv.org/abs/1012.5059v1 |
| Downloads |
329735.pdf
(Submitted manuscript)
|
| Permalink to this page | |
