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 :
بازگشت