DocumentCode
1188032
Title
Stone algebras, conditional events, and three valued logic
Author
Walker, Elbert A.
Author_Institution
Dept. of Math. Sci., New Mexico State Univ., Las Cruces, NM, USA
Volume
24
Issue
12
fYear
1994
fDate
12/1/1994 12:00:00 AM
Firstpage
1699
Lastpage
1707
Abstract
There are several equivalent ways to represent the set of conditional events, and in some the operations proposed by Goodman and Nguyen (1991) become much simpler, making the development of the theory much easier and much more concise. Such a development is carried out here using a representation whose relation to three-valued logic is analogous to that of Boolean algebras to two-valued logic, and in which the operations are simple and intuitive. There are many ways to extend the operations on events to operations on conditional events, but it is shown that there are only nine ways to extend intersection and nine ways to extend union so that the operations are Boolean polynomials of their arguments and are idempotent and commutative. Further, there is only one way to make such extensions so that the resulting structure is a bounded lattice extension of the space of events. These particular extensions turn out to be the operations proposed by Goodman and Nguyen
Keywords
Boolean algebra; Boolean functions; many-valued logics; polynomials; probabilistic logic; ternary logic; Boolean algebra; Boolean polynomials; Goodman-Nguyen operation; Stone algebras; bounded lattice; conditional events; three valued logic; union; Bibliographies; Boolean algebra; Lattices; Logic functions; Mathematical model; Polynomials; Probability;
fLanguage
English
Journal_Title
Systems, Man and Cybernetics, IEEE Transactions on
Publisher
ieee
ISSN
0018-9472
Type
jour
DOI
10.1109/21.328927
Filename
328927
Link To Document