[FOM] relevant logic and paraconsitent logic

A. Mani a_mani_sc_gs at yahoo.co.in
Fri Mar 3 08:28:33 EST 2006

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 

More information about the FOM mailing list