Book contents
- Frontmatter
- Contents
- Preface
- Part I Introduction
- Part II Channel Theory
- 4 Classifications and Infomorphisms
- 5 Operations on Classifications
- 6 Distributed Systems
- 7 Boolean Operations and Classifications
- 8 State Spaces
- 9 Regular Theories
- 10 Operations on Theories
- 11 Boolean Operations and Theories
- 12 Local Logics
- 13 Reasoning at a Distance
- 14 Representing Local Logics
- 15 Distributed Logics
- 16 Logics and State Spaces
- Part III Explorations
- Answers to Selected Exercises
- Bibliography
- Glossary of Notation
- Index of Definitions
- Index of Names
7 - Boolean Operations and Classifications
Published online by Cambridge University Press: 05 November 2011
- Frontmatter
- Contents
- Preface
- Part I Introduction
- Part II Channel Theory
- 4 Classifications and Infomorphisms
- 5 Operations on Classifications
- 6 Distributed Systems
- 7 Boolean Operations and Classifications
- 8 State Spaces
- 9 Regular Theories
- 10 Operations on Theories
- 11 Boolean Operations and Theories
- 12 Local Logics
- 13 Reasoning at a Distance
- 14 Representing Local Logics
- 15 Distributed Logics
- 16 Logics and State Spaces
- Part III Explorations
- Answers to Selected Exercises
- Bibliography
- Glossary of Notation
- Index of Definitions
- Index of Names
Summary
The notion of a classification does not build in any assumptions about closure under the usual Boolean operations. It is natural to ask What role do the usual Boolean connectives play in information and its flow? This lecture takes an initial step toward answering this question. We will return to this question in later chapters as we develop more tools. It is not a central topic of the book, but it is one that needs to be addressed in a book devoted to the logic of information flow.
Actually, there are two ways of understanding Boolean operations on classifications. There are Boolean operations mapping classifications to classifications, and there are Boolean operations internal to (many) classifications. Because there is a way to explain the latter in terms of the former, we first discuss the Boolean operations on classifications.
Boolean Operations on Classifications
Given a set Φ of types in a classification, it is often useful to group together the class of tokens that are of every type in Φ. In general, there is no type in the classification with this extension. As a remedy, we can always construct a classification in which such a type exists. Likewise, we can construct a classification in which there is a type whose extension consists of all those tokens that are of at least one of the types in Φ.
- Type
- Chapter
- Information
- Information FlowThe Logic of Distributed Systems, pp. 98 - 102Publisher: Cambridge University PressPrint publication year: 1997