Towards Fuzzy Partial Logic

In this paper, we discuss the possibility to develop fuzzy partial logics in which some formulas may have undefined truth values. The main idea is to consider semantics of these logics formed by algebras of truth values extended by a special value "*". This value may have several interpretations, such as "undefined", "meaningless", "non-applicable", etc. This approach requires extension of the original connectives to new ones that behave as the original ones if all of their arguments are defined. We also present a general method of defining the new connectives and outline axioms and deduction rules for these logics.

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

[2]  Petr Hájek,et al.  Handbook of mathematical fuzzy logic , 2011 .

[3]  Petr Cintula,et al.  Weakly Implicative (Fuzzy) Logics I: Basic Properties , 2006, Arch. Math. Log..

[4]  S. Gottwald A Treatise on Many-Valued Logics , 2001 .

[5]  Petr Hájek On Vagueness, Truth Values and Fuzzy Logics , 2009, Stud Logica.

[6]  Josep Maria Font,et al.  A Survey of Abstract Algebraic Logic , 2003, Stud Logica.

[7]  William M. Farmer,et al.  A partial functions version of Church's simple theory of types , 1990, Journal of Symbolic Logic.

[8]  Pere Garcia-Calvés,et al.  Enriched Interval Bilattices and Partial Many-Valued Logics: an Approach to Deal with Graded Truth and Imprecision , 1994, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[9]  Vilém Novák,et al.  EQ-logics: Non-commutative fuzzy logics based on fuzzy equality , 2011, Fuzzy Sets Syst..

[10]  Chris Cornelis,et al.  A characterization of interval-valued residuated lattices , 2008, Int. J. Approx. Reason..

[11]  Didier Dubois,et al.  A map of dependencies among three-valued logics , 2013, Inf. Sci..

[12]  H. Rasiowa An Algebraic Approach To Non Classical Logics , 1974 .

[13]  Marie Duzí,et al.  Procedural Semantics for Hyperintensional Logic - Foundations and Applications of Transparent Intensional Logic , 2010, Logic, Epistemology, and the Unity of Science.

[14]  Vilém Novák,et al.  EQ-algebra-based fuzzy type theory and its extensions , 2011, Log. J. IGPL.