English

Revisiting the Dunn-Belnap logic

Logic in Computer Science 2022-03-21 v1

Abstract

In the present work I introduce a semantics based on the cognitive attitudes of acception and rejection entertained by a given society of agents for logics inspired on Dunn and Belnap's First Degree Entailment (E\mathbf{E}). In contrast to the epistemic situations originally employed by E\mathbf{E}, the cognitive attitudes do not coincide with truth-values and they seem more suitable to logics that intend to consider the informational content of propositions "said to be true" as well as of propositions "said to be false" as determinant of the notion of logical validity. After analyzing some logics associated to the proposed semantics, we introduce the logic EB\mathbf{E}^B, whose underlying entailment relation -- the BB-entailment -- is able to express several kinds of reasoning involving the cognitive attitudes of acceptance and rejection. A sound and complete sequent calculus for EB\mathbf{E}^B is also presented.

Keywords

Cite

@article{arxiv.2203.09652,
  title  = {Revisiting the Dunn-Belnap logic},
  author = {Carolina Blasio},
  journal= {arXiv preprint arXiv:2203.09652},
  year   = {2022}
}

Comments

Translated by Evelyn Erickson, and revised by Jo\~ao Marcos. This translation was kindly permitted by the editorial office of Manuscrito

R2 v1 2026-06-24T10:17:46.717Z