Uniform Rules and Dialogue Games for Fuzzy Logics

We provide uniform and invertible logical rules in a framework of relational hypersequents for the three fundamental t-norm based fuzzy logics i.e., Łukasiewicz logic, Godel logic, and Product logic. Relational hypersequents generalize both hypersequents and sequents-of-relations. Such a framework can be interpreted via a particular class of dialogue games combined with bets, where the rules reflect possible moves in the game. The problem of determining the validity of atomic relational hypersequents is shown to be polynomial for each logic, allowing us to develop Co-NP calculi. We also present calculi with very simple initial relational hypersequents that vary only in the structural rules for the logics.

[1]  R. Giles.  A non-classical logic for physics , 1974 .

[2]  Reiner Hähnle,et al.  Automated deduction in multiple-valued logics , 1993, International series of monographs on computer science.

[3]  Marc Gyssens,et al.  Closure properties of constraints , 1997, JACM.

[4]  Alex K. Simpson,et al.  Computational Adequacy in an Elementary Topos , 1998, CSL.

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

[6]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[7]  Christian G. Fermüller,et al.  Analytic Calculi for Projective Logics , 1999, TABLEAUX.

[8]  Roy Dyckhoff.  Automated Reasoning with Analytic Tableaux and Related Methods , 2000, Lecture Notes in Computer Science.

[9]  A. Avron,et al.  Decomposition Proof Systems for Gödel-Dummett Logics , 2001, Stud Logica.

[10]  Christian G. Fermüller,et al.  Cut-elimination in a sequents-of-relations calculus for Godel logic , 2001, Proceedings 31st IEEE International Symposium on Multiple-Valued Logic.

[11]  Dov M. Gabbay,et al.  Goal-Directed Calculli for Gödel-Dummett Logics , 2003, CSL.

[12]  C. Fermüller,et al.  A Dialogue Game for Intuitionistic Fuzzy Logic Based on Comparisons of Degrees of Truth , 2003 .

[13]  Dov M. Gabbay,et al.  Goal-Directed Methods for Lukasiewicz Logic , 2004, CSL.

[14]  Dov M. Gabbay,et al.  Analytic Calculi for Product Logics , 2004, Arch. Math. Log..

[15]  Stefano Aguzzoli,et al.  Uniform description of calculi for all t-norm logics , 2004, Proceedings. 34th International Symposium on Multiple-Valued Logic.

[16]  Dov M. Gabbay,et al.  Sequent and hypersequent calculi for abelian and łukasiewicz logics , 2002, TOCL.

[17]  Arnon Avron,et al.  Hypersequents, logical consequence and intermediate logics for concurrency , 1991, Annals of Mathematics and Artificial Intelligence.