[FOM] relevant logic and paraconsitent logic

[praatika@mappi.helsinki.fi]

Quoting Edwin Mares <Edwin.Mares at vuw.ac.nz>:
  
> A paraconsistent logic is any logic that rejects as valid the rule
> scheme: A, ~A => B. 


So, minimal logic (which is a weakening of intuitionistic logic) is a 
paraconsistent logic.

Best, Panu


Panu Raatikainen
Ph.D., Academy Research Fellow,
Docent in Theoretical Philosophy
Department of Philosophy, 
University of Helsinki
Finland

Visiting Fellow, 
Institute of Philosophy,
School of Advanced Studies, 
University of London

E-mail: panu.raatikainen at helsinki.fi
 
http://www.helsinki.fi/collegium/eng/Raatikainen/raatikainen.htm