Downloads provided by UsageCounts
handle: 10281/46285
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.
Logique en informatique, Truth-Table, 160, Three-valued logic; Truth-table; Functional completeness; MV-algebra, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Informatique et langage, Functional completeness; MV-algebra; Three-valued logic; Truth-table;, Intelligence artificielle, Three-Valued Logic, MV-Algebra, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Apprentissage, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], 004, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Functional Completeness
Logique en informatique, Truth-Table, 160, Three-valued logic; Truth-table; Functional completeness; MV-algebra, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Informatique et langage, Functional completeness; MV-algebra; Three-valued logic; Truth-table;, Intelligence artificielle, Three-Valued Logic, MV-Algebra, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], Apprentissage, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], 004, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], Functional Completeness
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 96 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 1% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
| views | 20 | |
| downloads | 46 |

Views provided by UsageCounts
Downloads provided by UsageCounts