DocumentCode
2070124
Title
Three-valued logics and conditional event algebras
Author
Goodman, I.R.
Author_Institution
Command & Control Dept., Naval Ocean Syst. Center, San Diego, CA, USA
fYear
1990
fDate
3-5 Dec 1990
Firstpage
31
Lastpage
37
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Uncertainty Modeling and Analysis, 1990. Proceedings., First International Symposium on
Conference_Location
College Park, MD
Print_ISBN
0-8186-2107-9
Type
conf
DOI
10.1109/ISUMA.1990.151218
Filename
151218
Link To Document