Skip to main content

Meta-logical Notions Generalized: Graded Consequence with Fuzzy Set of Premises

  • Chapter
  • First Online:
Theory of Graded Consequence

Part of the book series: Logic in Asia: Studia Logica Library ((LIAA))

  • 107 Accesses

Abstract

In the classical context, the notion of consequence can be equivalently presented by consequence operator approach and consequence relation approach. Similar approaches are observed in fuzzy context too. Different proposals came up in order to bridge the gap between Pavelka’s notion of fuzzy consequence operator and Chakraborty’s notion of graded consequence relation in fuzzy context. In this regard, we shall discuss the notion of fuzzy consequence relation by Castro et al., and implicative consequence operator and implicative consequence relation by Rodríguez et al. We shall discuss some of the limitations of these approaches, and propose extensions of fuzzy consequence relation of Castro et al., and the notion of implicative consequence relation of Rodríguez et al, in a graded meta-language. In both the cases, the notion of graded consequence with fuzzy set of premises is considered.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

eBook
USD 16.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 16.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  • Biacino, L., Gerla, G.: Closure operators for fuzzy subsets. In: EUFIT 93, First European Congress on Fuzzy and Intelligent Technologies, pp. 1441–1447. Aachen (1993)

    Google Scholar 

  • Biacino, L., Gerla, G.: Closure operators in fuzzy set theory. In: Bezdek, J.C., Dubois, D., Prade, H. (Eds.) Fuzzy Sets. Approximate Reasoning and Information Systems, pp. 243–278. Kluwer Academic Publishers, Dordrecht (1999)

    Chapter  Google Scholar 

  • Biacino, L., Gerla, G.: An extension principle for closure operators. J. Math. Anal. Appl. 198, 1–24 (1996)

    Article  Google Scholar 

  • Castro, J.L., Trillas, E., Cubillo, S.: On consequence in approximate reasoning. J. Appl. Non-Class. Logics 4(1), 91–103 (1994)

    Article  Google Scholar 

  • Chakraborty, M.K.: Use of fuzzy set theory in introducing graded consequence in multiple valued logic. In: Gupta, M.M., Yamakawa, T. (Eds.), Fuzzy Logic in Knowledge-Based Systems, Decision and Control, pp. 247–257. Elsevier Science Publishers, (B.V) North Holland (1988)

    Google Scholar 

  • Chakraborty, M.K.: Graded consequence: further studies. J. Appl. Non-Class. Logics 5, 227–237 (1995)

    Article  Google Scholar 

  • Dubois, D., Prade, H.: Operations in a fuzzy-valued logic. Inform. Control 43(2), 224–240 (1979)

    Article  Google Scholar 

  • Dutta, S., Chakraborty, M.K.: Graded consequence with fuzzy set of premises. Fundam. Inform. 133, 1–18 (2014)

    Google Scholar 

  • Dutta, S., Chakraborty, M.K.: The role of metalanguage in graded logical approaches. Fuzzy Sets Syst. 298, 238–250 (2016)

    Article  Google Scholar 

  • Enderton, H.B., A Mathematical Introduction to Logic. Harcourt Academic Press (1972)

    Google Scholar 

  • Esteva, F., Godo, L., Noguera, C.: First order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties. Ann. Pure Appl. Logic 161(2): Elsevier, 185–202 (2009)

    Google Scholar 

  • Esteva, F., Godo, L., Noguera, C.: On completeness results for predicate Łukasiewicz, Product, Gödel and Nilpotent minimum logics expanded with truth constants. Mathware Soft Comput. XIV 3, 233–246 (2007)

    Google Scholar 

  • Gaines, B.R.: Foundations of fuzzy reasoning. In: Gupta, M.M., Saridis, G.N., Gaines, B.R. (Eds.) Fuzzy Automata and Decision Processes, pp. 19–75. Elsevier, North Holland Inc., New York (1977)

    Google Scholar 

  • Gentzen, G.: Investigations into logical deductions. In: Szabo, M.E. (Ed.), Collected papers of G. Gentzen, pp. 68-131. North Holland Publications, Amsterdam (1969)

    Google Scholar 

  • Gerla, G.: Fuzzy Logic : Mathematical Tools for Approximate Reasoning. Kluwer Academic Publishers (2001)

    Google Scholar 

  • Gerla, G.: An extension principle for fuzzy logics. Math. Logic Quart. 40, 357–380 (1994)

    Article  Google Scholar 

  • Gerla, G.: Graded consequence relations and closure operators. J. Appl. Non-class. Logic 6, 369–379 (1996)

    Article  Google Scholar 

  • Giles, R.: Łukasiewicz logic and fuzzy set theory. Int. J. Man-Mach. Stud. 8, 3–27 (1976)

    Article  Google Scholar 

  • Gottwald, S.: Fuzzy Sets and Fuzzy Logic. Vieweg, Wiesbaden (1993)

    Chapter  Google Scholar 

  • Gottwald, S.: An approach to handle partially sound rules of inference. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (Eds.) Advances in Intelligent Computing, IPMU’94, Selected papers, Lecture Notes Computer Sci., Vol. 945, etc., pp. 380–388. Springer: Berlin (1995)

    Chapter  Google Scholar 

  • Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht (1998)

    Google Scholar 

  • Klir, G.J., Yuan, B..: Fuzzy Sets And Fuzzy Logic: Theory and Applications. Prentice Hall of India Private Limited, New Delhi (2006)

    Google Scholar 

  • Novak, V.: On syntactico-semantical completeness of first order fuzzy logic, parts I and II. Kybernetica 2, 6(1, 2), 47–154 (1990)

    Google Scholar 

  • Pavelka, J.: On fuzzy logic I, II, III Zeitscher for Math. Logik und Grundlagen d. Math. 25, 45–52, 119–134, 447–464 (1979)

    Google Scholar 

  • Rodríguez, R.O., Esteva, F., Garcia, P., Godo, L.: On implicative closure operators in approximate reasoning. Int. J. Approx. Reason. 33, 159–184 (2003)

    Article  Google Scholar 

  • Surma, S.J.: The growth of logic out of the foundational research in mathematics. In: Agazzi, E. (ed.) Modern Logic—A Survey, pp. 15–33. D. Reidel Publishing Co., Dordrecht (1981)

    Chapter  Google Scholar 

  • Tarski, A.: Methodology of Deductive Sciences. Logic, Semantics, Metamathematics, pp. 60–109 (1956)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mihir Kumar Chakraborty .

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Singapore Pte Ltd.

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Chakraborty, M.K., Dutta, S. (2019). Meta-logical Notions Generalized: Graded Consequence with Fuzzy Set of Premises. In: Theory of Graded Consequence. Logic in Asia: Studia Logica Library. Springer, Singapore. https://doi.org/10.1007/978-981-13-8896-5_5

Download citation

Publish with us

Policies and ethics