A map of dependencies among three-valued logics

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.

[1]  D. Dubois,et al.  Conditional Objects as Nonmonotonic Consequence Relationships , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[2]  øöö Blockinø.  Propositional Calculus , 2013 .

[3]  Beata Konikowska,et al.  McCarthy Algebras: A Model of McCarthy's Logical Calculus , 1996, Fundam. Informaticae.

[4]  Bernard De Baets,et al.  Residual operators of uninorms , 1999, Soft Comput..

[5]  Dimiter Vakarelov.  Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation , 2005, Stud Logica.

[6]  David Nelson,et al.  Constructible falsity , 1949, Journal of Symbolic Logic.

[7]  Didier Dubois,et al.  Three-Valued Logics for Incomplete Information and Epistemic Logic , 2012, JELIA.

[8]  Didier Dubois,et al.  Relationships between Connectives in Three-Valued Logics , 2012, IPMU.

[9]  Didier Dubois,et al.  On Ignorance and Contradiction Considered as Truth-Values , 2007, Log. J. IGPL.

[10]  Kenneth C. Smith.  The Prospects for Multivalued Logic: A Technology and Applications View , 1981, IEEE Transactions on Computers.

[11]  Atwell R. Turquette,et al.  On the Many-Valued Logics , 1941 .

[12]  A. Figallo,et al.  iH-propositional calculus , 2006 .

[13]  Joan Torrens,et al.  A Survey on Fuzzy Implication Functions , 2007, IEEE Transactions on Fuzzy Systems.

[14]  D. Dubois,et al.  Fuzzy-set-theoretic differences and inclusions and their use in the analysis of fuzzy equations*) , 1984 .

[15]  Wei Li,et al.  On logic of paradox , 1995, Proceedings 25th International Symposium on Multiple-Valued Logic.

[16]  Yiyu Yao,et al.  Interval sets and interval-set algebras , 2009, 2009 8th IEEE International Conference on Cognitive Informatics.

[17]  John Fox.  Motivation and Demotivation of a Four-Valued Logic , 1990, Notre Dame J. Formal Log..

[18]  Yiyu Yao,et al.  An Outline of a Theory of Three-Way Decisions , 2012, RSCTC.

[19]  D. Dubois,et al.  A theorem on implication functions defined from triangular norms. , 1984 .

[20]  M. Baaz.  Infinite-valued Gödel logics with $0$-$1$-projections and relativizations , 1996 .

[21]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[22]  Alasdair Urquhart.  Many-valued Logic , 1986 .

[23]  Józef Drewniak,et al.  Invariant Fuzzy Implications , 2006, Soft Comput..

[24]  A. R. Turquette,et al.  On the Many-Valued Logics , 1941 .

[25]  Elbert A. Walker,et al.  Stone Algebras, Conditional Events, and Three Valued Logic , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[26]  Didier Dubois,et al.  A Simple Modal Logic for Reasoning about Revealed Beliefs , 2009, ECSQARU.

[27]  Gary M. Hardegree.  Material implication in orthomodular (and Boolean) lattices , 1981, Notre Dame J. Formal Log..

[28]  John McCarthy,et al.  A basis for a mathematical theory of computation, preliminary report , 1899, IRE-AIEE-ACM '61 (Western).

[29]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[30]  Merrie Bergmann,et al.  On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus , 1981 .

[31]  D. Dubois,et al.  An introduction to bipolar representations of information and preference , 2008 .

[32]  Florencio G. Asenjo,et al.  Logic of antinomies , 1975, Notre Dame J. Formal Log..

[33]  Jonathan Lawry,et al.  On truth-gaps, bipolar belief and the assertability of vague propositions , 2012, Artif. Intell..

[34]  Gianpiero Cattaneo,et al.  Shadowed Sets and Related Algebraic Structures , 2002, Fundam. Informaticae.

[35]  Joan Torrens,et al.  t-Operators , 1999, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[36]  A. Adamatzky.  On dynamically non-trivial three-valued logics: oscillatory and bifurcatory species , 2003 .

[37]  J. M. Dunn,et al.  Modern Uses of Multiple-Valued Logic , 1977 .

[38]  Didier Dubois,et al.  Truth-Functionality, Rough Sets and Three-Valued Logics , 2010, 2010 40th IEEE International Symposium on Multiple-Valued Logic.

[39]  Didier Dubois.  Possibility Theory, Probability Theory and Multiple-Valued Logics: A Clarification , 2001, Fuzzy Days.

[40]  Witold Pedrycz,et al.  From fuzzy sets to shadowed sets: Interpretation and computing , 2009, Int. J. Intell. Syst..

[41]  Gianpiero Cattaneo,et al.  BZMVdM algebras and stonian MV-algebras (applications to fuzzy sets and rough approximations) , 1999, Fuzzy Sets Syst..

[42]  J. Fodor.  On fuzzy implication operators , 1991 .

[43]  Radko Mesiar,et al.  Triangular Norms , 2000, Trends in Logic.

[44]  Tsutomu Hosoi,et al.  The Separable Axiomatization of the Intermediate Propositional Systems Sn of Gödel , 1966 .

[45]  S. Jaskowski.  Propositional calculus for contradictory deductive systems , 1969 .

[46]  Gianpiero Cattaneo,et al.  Algebraic Structures Related to Many Valued Logical Systems. Part I: Heyting Wajsberg Algebras , 2004, Fundam. Informaticae.

[47]  Arnon Avron,et al.  On an implication connective of RM , 1986, Notre Dame J. Formal Log..

[48]  Bernard De Baets,et al.  Idempotent uninorms on Finite Ordinal Scales , 2009, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[49]  M. Berthold,et al.  International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems , 1998 .

[50]  William H. Jobe.  Functional completeness and canonical forms in many-valued logics1 , 1962, Journal of Symbolic Logic.

[51]  Daniel J. Hill,et al.  ON TRUTH-FUNCTIONALITY , 2010, The Review of Symbolic Logic.

[52]  Philippe Smets,et al.  Implication in fuzzy logic , 1987, Int. J. Approx. Reason..

[53]  Roberto Cignoli,et al.  The class of Kleene algebras satisfying an interpolation property and Nelson algebras , 1986 .

[54]  Joan Torrens,et al.  t-Operators and uninorms on a finite totally ordered set , 1999, Int. J. Intell. Syst..

[55]  David Pearce,et al.  Equilibrium logic , 2006, Annals of Mathematics and Artificial Intelligence.

[56]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[57]  Dimiter Vakarelov,et al.  Notes on N-lattices and constructive logic with strong negation , 1977 .

[58]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[59]  L. P. Belluce,et al.  Generalized Fuzzy Connectives onMV-Algebras , 1997 .

[60]  Melvin Fitting,et al.  A Kripke-Kleene Semantics for Logic Programs , 1985, J. Log. Program..

[61]  Joan Torrens,et al.  S-implications and R-implications on a finite chain , 2004, Kybernetika.

[62]  Didier Dubois,et al.  Possibility theory , 2018, Scholarpedia.