Bond, OL, "A base for canonical negation", , 2012