| http://www.w3.org/ns/prov#value | - In the first half of the article, we consider two ways of modelling such circumstances and prove the deductive systems arising from these two types of models to be equivalent to Graham (...) Priest's first-degree entailment with an emptiness" value (FDE??) and Richard Angell's analytic containment (AC), making computational interpretations of these systems possible.
|
