Robles, Gemma, and José M. Méndez. 2006. “Converse Ackermann Property and Constructive Negation Defined With a Negation Connective”. Logic and Logical Philosophy 15 (2):113-30. https://doi.org/10.12775/LLP.2006.007.