A sound and complete fuzzy logic system using Zadeh's implication operator

  • Jianhua Chen
  • Sukhamay Kundu
Communications Session 2B Logic for AI
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1079)


We present a formalization of fuzzy logic based on Zadeh's implication operator a→b=max{1-a, b}. Our logical system allows the specification of both lower and upper bounds of the truth value of a formula. We present a specific system of axioms and inference rules which are both sound and complete. We also provide a generalization of the classical resolution method which acts as a decision procedure in a finite fuzzy theory.


fuzzy logic inference rules resolution method 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Ackermann, R., An Introduction to many-valued logics, Dover Pub. Inc., New York, 1967.Google Scholar
  2. [2]
    Dubois, D., Lang, J., and Prade, H., Fuzzy sets in approximate reasoning (Part 1: inference with possibility, and Part 2: logical approaches) distributions, Fuzzy Sets and Systems, 40(1991), pp. 141–202, 203–244.Google Scholar
  3. [3]
    Goguen, J.A., The logic of inexact concepts, Synthese, 19(1968), pp. 325–373.Google Scholar
  4. [4]
    Gottwald, S., Fuzzy propositional logics, Fuzzy Sets and Systems, 3(1980), pp. 181–192.Google Scholar
  5. [5]
    Kundu, S. An improved method for fuzzy-inferencing using Zadeh's implication operator, Proceedings of IJCAL Workshop on Fuzzy Logic in AI, Aug. 1995, Montreal, Canada.Google Scholar
  6. [6]
    Kundu, S. and Chen, J., Fuzzy logic or Lukasiewicz's logic: a clarification, Proc. 8th Intern. Symp. for Methodologies for Intelligent Systems, ISMIS-94, Charlotte, NC. (Oct. 16–19, 1994), pp. 56–64.Google Scholar
  7. [7]
    Lee, R.C.T., Fuzzy logic and the resolution principle, J. Assoc. of Computing Mach., 19(1), 1972, pp. 109–119.Google Scholar
  8. [8]
    Lu, J.J., Murray, N.V., and Rosenthal, E., Signed formulas and fuzzy operator logics, Proc. 8th Intern. Symp. for Methodologies for Intelligent Systems, ISMIS-94, Charlotte, NC. (Oct. 16–19, 1994), pp. 75–84.Google Scholar
  9. [9]
    Novak, V., On the syntactico-semantical completeness of first-order fuzzy logic. Part 1, 2, Kybernetika, 26(1) (1990) 47–66; (2) (1990) 134–154.Google Scholar
  10. [10]
    Pavelka, J., On fuzzy logic I, II, III, Zeitsch. Math. Logik, 25(1979), pp. 45–52, 119–134, 447–464.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Jianhua Chen
    • 1
  • Sukhamay Kundu
    • 1
  1. 1.Computer Science DepartmentLouisiana State UniversityBaton Rouge

Personalised recommendations