  (Sobociński). Protothetic is an absolute propositional calculus in the sense that the principle of bivalence is its theorem. In fact, protothetic inspired Łukasiewicz’s system with variable functors, another absolute propositional logic.