Learn More
By a theory we mean a subset of propositions that is closed under consequences and conjunctions. When the set of all propositions is a Boolean algebra, theories are filters in this algebra. When(More)