Modus Ponens Tollens for RU-Implications.

Isabel Aguil, Sebastia Massanet, Juan Vicente Riera, Daniel Ruiz-Aguilera

Browse the full IPMU paper archive.