Margarita Mas Miquel Monserrat Joan Torrens Modus ponens and modus tollens in discrete implications. 422-435 2008 49 Int. J. Approx. Reasoning 2 http://dx.doi.org/10.1016/j.ijar.2008.04.002 db/journals/ijar/ijar49.html#MasMT08