Robles G, Méndez JM. Converse Ackermann property and constructive negation defined with a negation connective. LLP [Internet]. 2006 Jun. 26 [cited 2024 Apr. 24];15(2):113-30. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2006.007