Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
The B 4 -valued propositional Belnap-Dunn logic
View through CrossRef
Abstract
A
B
4
-valued propositional Belnap-Dunn logic will be proposed in this paper which there are two unary connectives [⊤] , [⊥] to represent the two middle values ⊤, ⊥ , respectively, and a Gentzen-typed deduction system will be given so that the system is sound and complete with the four-valued semantics of the propositional Belnap-Dunn logic.
Title: The
B
4
-valued propositional Belnap-Dunn logic
Description:
Abstract
A
B
4
-valued propositional Belnap-Dunn logic will be proposed in this paper which there are two unary connectives [⊤] , [⊥] to represent the two middle values ⊤, ⊥ , respectively, and a Gentzen-typed deduction system will be given so that the system is sound and complete with the four-valued semantics of the propositional Belnap-Dunn logic.
Related Results
Logics of Involutive Stone Algebras
Logics of Involutive Stone Algebras
Abstract
An involutive Stone algebra (IS-algebra) is a structure that is simultaneously a De Morgan algebra and a Stone algebra (i.e. a pseudo-complemented distributive lat...
Power Matrices and Dunn-Belnap Semantics: Reflections on a Remark of Graham Priest
Power Matrices and Dunn-Belnap Semantics: Reflections on a Remark of Graham Priest
The plurivalent logics considered in Graham Priest's recent paper of that name can be thought of as logics determined by matrices (in the 'logical matrix' sense) whose underlying a...
Non-Propositional Evidentiality
Non-Propositional Evidentiality
AbstractThis chapter deals with non-propositional evidentiality, i.e. evidential-like distinctions on markers whose scope is limited to a noun phrase. First, it presents the differ...
Predicate calculus
Predicate calculus
The predicate calculus is the dominant system of modern logic, having displaced the traditional Aristotelian syllogistic logic that had been the previous paradigm. Like Aristotle’s...
Remarks on propositional nominalization
Remarks on propositional nominalization
Moulton’s ‘Remarks on propositional nominalization’ investigates nominalization at the highest reaches of the extended verbal projection, finite CPs. While CPs can express proposit...
Propositional logic and modal logic—A connection via relational semantics
Propositional logic and modal logic—A connection via relational semantics
Abstract
In this paper, by slightly generalizing an observation of Dalla Chiara and Giuntini in their chapter on quantum logic in Handbook of Philosophical Logic, we...
Belnap-Dunn Logic and Query Answering in Inconsistent Databases with Null Values
Belnap-Dunn Logic and Query Answering in Inconsistent Databases with Null Values
This paper concerns an expansion of first-order Belnap-Dunn logic, called BD^{\supset,F}_{\bot}, and an application of this logic in the area of relational database theory. The not...
Diagnosing of a complex technical object in four-valued logic
Diagnosing of a complex technical object in four-valued logic
This paper presents the essence of an investigation of a complex technical object with the use of four-valued logic. To this end, an intelligent diagnostic system (DIAG 2) is descr...