Axioms and Definition
The axioms of the two-sorted algebra, in addition to the axioms of the lattice :
To focus an information on combined with another information to domain, one may as well first focus the second information to and combine then.
To focus an information on and, one may focus it to .
An information combined with a part of itself gives nothing new.
Each information refers to at least one domain (question). |
A two-sorted algebra satisfying these axioms is called an Information Algebra.
Read more about this topic: Information Algebra
Famous quotes containing the words axioms and/or definition:
““I tell you the solemn truth that the doctrine of the Trinity is not so difficult to accept for a working proposition as any one of the axioms of physics.””
—Henry Brooks Adams (1838–1918)
“The physicians say, they are not materialists; but they are:MSpirit is matter reduced to an extreme thinness: O so thin!—But the definition of spiritual should be, that which is its own evidence. What notions do they attach to love! what to religion! One would not willingly pronounce these words in their hearing, and give them the occasion to profane them.”
—Ralph Waldo Emerson (1803–1882)