Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness

We suggest a general formalism of four-valued reasoning, called biconsequence relations, intended to serve as a logical framework for reasoning with incomplete and inconsistent data. The formalism is based on a four-valued semantics suggested by Belnap. As for the classical sequent calculus, any four-valued connective can be defined in biconsequence relations using suitable introduction and elimination rules. In addition, various three-valued and partial logics are shown to be special cases of this formalism obtained by imposing appropriate additional logical rules. We show also that such rules are instances of a single logical principle called coherence. The latter can be considered a general requirement securing that the information we can infer in this framework will be classically coherent
Keywords No keywords specified (fix it)
Categories (categorize this paper)
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 14,230
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Citations of this work BETA

No citations found.

Similar books and articles
Charles B. Cross (2003). Nonmonotonic Inconsistency. Artificial Intelligence 149 (2):161-178.
Francesc Tomàs (1999). An Open Formalism Against Incompleteness. Notre Dame Journal of Formal Logic 40 (2):207-226.

Monthly downloads

Added to index


Total downloads

4 ( #383,052 of 1,699,596 )

Recent downloads (6 months)

1 ( #362,609 of 1,699,596 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.