Three-valued logics and conditional event algebras
I. R. Goodman · [1990] Proceedings. First International Symposium on Uncertainty Modeling and Analysis · 2002
The state of development of conditional algebras is reviewed, then a canonical bijection of isomorphisms is derived. This is an extension of the usual indicator function mapping to that between all possible truth-functional three-valued logics and all possible choices of conditional event operators extending unconditional Boolean ones. Relations among this and other conditional event algebras, and other isomorphic correspondences, are derived.>