Some Proof Theoretic Results Depending on Context from the Perspective of Graded Consequence | SpringerLink
Skip to main content
Springer Nature Link
Log in

Some Proof Theoretic Results Depending on Context from the Perspective of Graded Consequence

  • Conference paper
Rough Sets, Fuzzy Sets, Data Mining and Granular Computing (RSFDGrC 2009)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 5908))

  • 1523 Accesses

Abstract

In this paper we discuss some proof theoretic properties of logics generated with respect to a context from the perspective of graded consequence relation. We also indicate some implications of these results in actual application.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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, Amsterdam (1988)

    Google Scholar 

  2. Chakraborty, M.K.: Graded Consequence: Further Studies. Journal of Applied Non-Classical Logics 5(2), 127–137 (1995)

    Google Scholar 

  3. Chakraborty, M.K., Basu, S.: Graded Consequence And Some Metalogical Notions Generalized. Fundamenta Informaticae 32, 299–311 (1997)

    MATH  MathSciNet  Google Scholar 

  4. Chakraborty, M.K., Dutta, S.: Grade In Meta Logical Notions: A Comparative Study of Fuzzy Logics. In: The Proceedings of Studia Logica International Conference, Trends in Logic V: Many-valued Logics and Cognition, Guangzhou, China, July 6-9 (2007)

    Google Scholar 

  5. Gentzen, G.: Investigations Into Logical Deductions. In: Gentzen, G., Szabo, M.E. (eds.) The collected papers, pp. 68–131. North Holland Publications, Amsterdam (1969)

    Google Scholar 

  6. Gerla, G.: Fuzzy Logic: Mathematical Tools For Approximate Reasoning. Kluwer Academic Publishers, Dordrecht (2001)

    MATH  Google Scholar 

  7. Goguen, J.A.: The Logic Of Inexact Concepts. Synthese 19, 325–373 (1968)

    Article  Google Scholar 

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

    MATH  Google Scholar 

  9. Klir, J.G., Yuan, B.: Fuzzy Sets And Fuzzy Logic, Theory and Applications

    Google Scholar 

  10. Pavelka, J.: On Fuzzy Logic I, II, III, Zeitschrift für Math. Logik und Grundlagen d. Math 25, 45-52, 119-134, 447-464 (1979)

    Article  MATH  MathSciNet  Google Scholar 

  11. Pawlak, Z.: Rough Sets. International Journal of information and Computer Sciences 11, 341–356 (1982)

    Article  MATH  MathSciNet  Google Scholar 

  12. Shoesmith, D.J., Smiley, T.J.: Multiple Conclusion Logic. Cambridge University Press, Cambridge (1978)

    MATH  Google Scholar 

  13. Zadeh, L.A.: “Fuzzy Sets”. Information and Control 8(3), 338–353 (1965)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, IBRAD School of Management and, Sustainable Development, Kolkata, West Bengal, India

    Soma Dutta

  2. Department of Pure Mathematics, University of Calcutta, 35, Ballygunge Circular Road, Kolkata, 700019, India

    Mihir Kumar Chakraborty

Authors
  1. Soma Dutta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Mihir Kumar Chakraborty
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Mathematics and Computer Aided Sciences, Kyushu Institute of Technology, 804-8550, Tobata, Kitakyushu, Japan

    Hiroshi Sakai

  2. Department of Pure Mathematics, University of Calcutta, 35 Ballygunge Circular Road, 700019, Kolkata, India

    Mihir Kumar Chakraborty

  3. Information Technology Department, University of Cairo, 5 Ahmed Zewal St. Orman, Giza, Egypt

    Aboul Ella Hassanien

  4. University of Warsaw & Infobright Inc., Poland

    Dominik Ślęzak

  5. University of Electronic Science and Technology of China, Chengdu, China

    William Zhu

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dutta, S., Chakraborty, M.K. (2009). Some Proof Theoretic Results Depending on Context from the Perspective of Graded Consequence. In: Sakai, H., Chakraborty, M.K., Hassanien, A.E., Ślęzak, D., Zhu, W. (eds) Rough Sets, Fuzzy Sets, Data Mining and Granular Computing. RSFDGrC 2009. Lecture Notes in Computer Science(), vol 5908. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-10646-0_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-10646-0_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-10645-3

  • Online ISBN: 978-3-642-10646-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics