Mas, Margarita Modus ponens and modus tollens in discrete implications. Monserrat, Miquel. Torrens, Joan In: International Journal of Approximate Reasoning. -- Vol. 49, Iss. 2 (2008), s.422-435.