• 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