Propositional logic of Boethius - Durr K (1951)