Bocheński introduced an incompatible system of binary notation that names all 16 Polish connectives of classical propositional logic .
Bocheński introduced an incompatible system of Polish notation that names all 16 binary connectives of classical propositional logic .