Skip to main content

All Questions

Filter by
Sorted by
Tagged with
13 votes
4 answers
843 views

What is a "general" relation algebra?

I'm trying to understand why (or if) the axioms of relation algebras are "the right ones." For example, we can back up the idea that the group axioms exactly capture the notion of "...
1 vote
0 answers
126 views

Minimizing all aspects of the definition of Boolean algebra

There are many equivalent ways to describe Boolean algebras. There are a number of different ways to "minimize" the description. We can: Minimize the number of function symbols. Minimize ...
3 votes
1 answer
134 views

What is the name for Boolean algebra's version of $\models$ between sets of identities and identities?

On p62 in Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits by Elliott Mendelson (1970), Part (b) of the corollary says that if an identity is satisfied by some ...
6 votes
1 answer
367 views

If questions are formalized as ideals of a boolean algebra, what kind of algebra of questions appears from Stone representation theorem?

Affirmative propositions make up a Boolean algebra, and Boolean algebras became part of classical algebra for over one century ago - in this sense they are "simple". But I did not encounter in ...