Abstract
In this report we present a translation of Belnap’s four-valued logic1 into classical first-order logic. Soundness and completeness of the translation approach with respect to Belnap’s notion of entailment are proved. Examples derivations are also given. These results provide the basis for developing a belief revision approach for Belnap’s logic in terms of standard AGM 3 belief revision operators for
classical logic.
Users
Please
log in to take part in the discussion (add own reviews or comments).