Negation, material equivalence and conditioned nonconjunction: Completeness and duality
scientific article; zbMATH DE number 3529802