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.
Формальні властивості такої логічної системи можуть бути задані набором досить простих правил, звичайно, набагато простіших, ніж «проекційна алгебра», яку Біркгоф та фон Нейман запропонували кілька років тому.