| http://www.w3.org/ns/prov#value | - The deduction theorem shows their equivalence in classical propositional logic, meaning that whenever you can get one, you can also get the other, and there is an algorithm that shows you how to transform a proof of one into a proof of the other.
|
