🚀 go-pugleaf

A friend of mine asked me for a good reference on relevance logics.  I don't
know anything more recent than Anderson & Belnap, and I've forgotten the exact
title of that.  What would you recommend?  

His interest is in modeling systems with a state that consists of a set of
sentences.  However, this will occasionally become inconsistent.  He wants a
way of controlling the damage from the contradictions, so that the system can
be coaxed back to a consistent (and plausible) state.  Are there other kinds of
formalism you think he should also look at?  

Thanks so much.  

	Josh