All Questions
4 questions
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 "...
- 20.5k
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 ...
- 889
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 ...
- 357
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 ...
- 18.7k