Title :
Three-valued logics and conditional event algebras
Author_Institution :
Command & Control Dept., Naval Ocean Syst. Center, San Diego, CA, USA
Abstract :
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
Keywords :
Boolean algebra; ternary logic; Boolean operators; canonical bijection; conditional event algebras; indicator function; isomorphic correspondences; isomorphisms; truth-functional three-valued logics; Additives; Automated highways; Boolean algebra; Boolean functions; Control systems; History; Lattices; Logic functions; Oceans;
Conference_Titel :
Uncertainty Modeling and Analysis, 1990. Proceedings., First International Symposium on
Conference_Location :
College Park, MD
Print_ISBN :
0-8186-2107-9
DOI :
10.1109/ISUMA.1990.151218
