Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. G. Bergman, Actions of Boolean rings on sets, Algebra Universalis 28, 1991, 153–187.
2. S.L. Bloom and R. Tindell, Varieties of “if-then-else”, SIAM J. Comput. 12, 1983, 677–707.
3. A.L. Foster, Generalized “Boolean” theory of universal algebras, Part II. Identities and subdirect sums of functionally complete algebras, Math. Zeit. 59, 1953, 191–199.
4. I. Guessarian and J. Meseguer, On the axiomatization of if-then-else, SIAM J. Comput. 16, 1987, 332–357.
5. F. Guzmán, Three-valued logics in the semantics of programming languages, preprint, 1990.