In logic, Brazilian logic is a name given by Chris Mortensen, in his book Inconsistent Mathematics, to a system R# of relevance logic.
