Three-valued logics arise in several fields of computer science, both inspired by concrete problems (such as in the management of the null value in databases) and theoretical considerations. Several three-valued logics have been defined. They differ by their choice of basic connectives, hence also from a syntactic and proof-theoretic point of view. Different interpretations of the third truth value have also been suggested. They often carry an epistemic flavor. In this work, relationships between logical connectives on three-valued functions are explored. Existing theorems of functional completeness have laid bare some of these links, based on specific connectives. However we try to draw a map of such relationships between conjunctions, negations and implications that extend Boolean ones. It turns out that all reasonable connectives can be defined from a few of them and so all known three-valued logics appear as a fragment of only one logic. These results can be instrumental when choosing, for each application context, the appropriate fragment where the basic connectives make full sense, based on the appropriate meaning of the third truth-value

Ciucci, D., Dubois, D. (2013). A map of dependencies among three-valued logics. INFORMATION SCIENCES, 250, 162-177 [10.1016/j.ins.2013.06.040].

A map of dependencies among three-valued logics

CIUCCI, DAVIDE ELIO;
2013

Abstract

Three-valued logics arise in several fields of computer science, both inspired by concrete problems (such as in the management of the null value in databases) and theoretical considerations. Several three-valued logics have been defined. They differ by their choice of basic connectives, hence also from a syntactic and proof-theoretic point of view. Different interpretations of the third truth value have also been suggested. They often carry an epistemic flavor. In this work, relationships between logical connectives on three-valued functions are explored. Existing theorems of functional completeness have laid bare some of these links, based on specific connectives. However we try to draw a map of such relationships between conjunctions, negations and implications that extend Boolean ones. It turns out that all reasonable connectives can be defined from a few of them and so all known three-valued logics appear as a fragment of only one logic. These results can be instrumental when choosing, for each application context, the appropriate fragment where the basic connectives make full sense, based on the appropriate meaning of the third truth-value
Articolo in rivista - Articolo scientifico
Three-valued logic; Truth-table; Functional completeness; MV-algebra
English
2013
250
162
177
open
Ciucci, D., Dubois, D. (2013). A map of dependencies among three-valued logics. INFORMATION SCIENCES, 250, 162-177 [10.1016/j.ins.2013.06.040].
File in questo prodotto:
File Dimensione Formato  
Ciucci-2013-Information Sci-VoR.pdf

accesso aperto

Tipologia di allegato: Author’s Accepted Manuscript, AAM (Post-print)
Licenza: Creative Commons
Dimensione 630.37 kB
Formato Adobe PDF
630.37 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/46285
Citazioni
  • Scopus 98
  • ???jsp.display-item.citation.isi??? 80
Social impact