Michael Freund Daniel J. Lehmann On Negation Rationality. 263-269 1996 6 J. Log. Comput. 2 db/journals/logcom/logcom6.html#FreundL96