[FOM] relevant logic and paraconsitent logic
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.
Member, Cal. Math. Soc
Send instant messages to your online friends http://in.messenger.yahoo.com
More information about the FOM