Converse Ackermann property and constructive negation defined with a negation connective
Gemma Robles
◽
José M. Méndez
2001 ◽
Vol 19
(3)
◽
pp. 209-255
◽
Agostino Dovier
◽
Enrico Pontelli
◽
Gianfranco Rossi
María José Ramírez
◽
Moreno Falaschi
Susana Muñoz-Hernández
◽
Juan José Moreno-Navarro
1995 ◽
Vol 32
(1)
◽
pp. 27-59
◽
John G. Cleary
◽
Lunjin Lu
1996 ◽
Vol 26
(1)
◽
pp. 69-89
◽