Re: Paraconsistent System

There are two other ideas for localizing inconsistency.

1. The formal use of contexts as objects as proposed in
http://www-formal.stanford.edu/jmc/context.html.

2. The use of nonmonotonic reasoning.  For example,

\lnot Ab-comp(p) \rightarrow (\exists x)(\forall y)(y \in x \equiv
p(x)).

Ab-comp is to be minimized, e.g. by circumscription.