On the Semantics of Classical First-order Logic with Constructive Double Negation.

Ken Kaneiwa On the Semantics of Classical First-order Logic with Constructive Double Negation. 1225-1242 2005 conf/iicai/2005 IICAI db/conf/iicai/iicai2005.html#Kaneiwa05