%0 Report %1 rodrigues98 %A Rodrigues, Odinaldo %A Russo, Alessandra %D 1998 %K logic %N Doc 98/7 %T A Translation Method for Belnap Logic %U http://www.doc.ic.ac.uk/~ar3/belnap-trans.pdf %X 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.

@techreport{rodrigues98, abstract = {In this report we present a translation of Belnap’s four-valued logic[1] 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.}, added-at = {2009-02-04T18:07:55.000+0100}, author = {Rodrigues, Odinaldo and Russo, Alessandra}, biburl = {https://www.bibsonomy.org/bibtex/268a0ebcf848e722e57ac992628ca5402/neilernst}, institution = {Imperial College London}, interhash = {cc5feeafcbd71f5b74db40300eda465d}, intrahash = {68a0ebcf848e722e57ac992628ca5402}, keywords = {logic}, month = {September}, number = {Doc 98/7}, timestamp = {2009-02-04T18:07:55.000+0100}, title = {A Translation Method for Belnap Logic}, type = {Research Report}, url = {http://www.doc.ic.ac.uk/~ar3/belnap-trans.pdf}, year = 1998 }