Brazilian logic

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

This article is a stub. You can help Wikipedia by fixing it.