Postulates for the substitutive algebra of the 2-place functors in the 2- valued calculus of propositions
scientific article; zbMATH DE number 3440388