Assertion: logic's property | /r/HasProperty | given by a set of fairly simple rules
Facets:
Source sentences:
text: The formal properties of such a logical system can be given by a set of fairly simple rules, certainly far simpler than the "projection algebra" that Birkhoff and von Neumann had introduced a few years earlier.