[FOM] relevant logic and paraconsitent logic

[A. Mani]

On Thursday 02 March 2006 13:38, Arnon Avron wrote:

>
> Personally I don't believe that paraconsistent logics in general
> and relevance logics in particular are relevant to *mathematics*.
Some mathematics has been done over paraconsistent logics, 
including versions of the reals (JSL, 1975?). Even the 'inconsistent 
mathematics' people actually use paraconsistent logics, though they do deny 
it. You can check it up.  

A. Mani
Member, Cal. Math. Soc
Send instant messages to your online friends http://in.messenger.yahoo.com