A formal theory of information should represent A consistent system of questions Aggregation or combination of information Focussing or Extraction of information Information algebra (Φ, D) cover these aspects: D a lattice of domains (questions) Φ a semigroup under combination ∀x ∈ D, φ ∈ Φ, φ ⇒x is the information in φ relating to x. Axiomatics Formal definitions and axioms: (Φ, D) is a two-sor...