Converse Ackermann property and constructive negation defined with a negation connective

Logic and Logical Philosophy, Tom 15, Numer 2 (2006) s. 113-130
Gemma Robles, José M. Méndez

 

do góry