Skip to main content
SpringerLink
Log in
Book cover

Intuitionistic Fuzzy Logics pp 1–63Cite as

Elements of Intuitionistic Fuzzy Propositional Calculus

  • Chapter
  • First Online:

Part of the book series: Studies in Fuzziness and Soft Computing ((STUDFUZZ,volume 351))

Abstract

In classical logic (e.g., [1,2,3,4]), to each proposition (sentence) we juxtapose its truth value: truth – denoted by 1, or falsity – denoted by 0. In the case of fuzzy logic [5], this truth value is a real number in the interval [0, 1] and it is called “truth degree” or “degree of validity”.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   109.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

Learn about institutional subscriptions

References

  1. Kleene S. Mathematical logic. New York: Wiley; 1967.

    MATH  Google Scholar 

  2. Mendelson E. Introduction to mathematical logic. D. Van Nostrand: Princeton; 1964.

    MATH  Google Scholar 

  3. Shoenfield JR. Mathematical logic. 2nd ed. Natick: A. K. Peters; 2001.

    MATH  Google Scholar 

  4. http://plato.stanford.edu/entries/generalized-quantifiers/

  5. Zadeh L. Fuzzy logic. IEEE Comput. 1988;21(4):83–93.

    Article  Google Scholar 

  6. Atanassov K. Two variants of intuitionistic fuzzy propositional calculus. Preprint IM-MFAIS-5-88, Sofia, 1988, Reprinted: Int J Bioautomation. 2016;20(S1):S17–S26.

    Google Scholar 

  7. Atanassov K. Intuitionistic fuzzy sets. Heidelberg: Springer; 1999.

    Book  MATH  Google Scholar 

  8. Atanassov K. On intuitionistic fuzzy logics: results and problems. In: Atanassov K, Baczynski M, Drewniak J, Kacprzyk J, Krawczak M, Szmidt E, Wygralak M, Zadrozny S, editors. Modern approaches in fuzzy sets, intuitionistic fuzzy sets, generalized nets and related topics, vol. 1: Foundations. Warsaw: SRI-PAS; 2014. p. 23–49.

    Google Scholar 

  9. Atanassov K. Intuitionistic fuzzy logics as tools for evaluation of Data Mining processes. Knowl-Based Syst. 2015;80:122–130.

    Google Scholar 

  10. Atanassov K, Szmidt E, Kacprzyk J. On intuitionistic fuzzy pairs. Notes on Intuitionistic Fuzzy Sets. 2013;19(3):1–13.

    Google Scholar 

  11. Atanassov K. On intuitionistic fuzzy sets theory. Berlin: Springer; 2012.

    Book  MATH  Google Scholar 

  12. Kaufmann A. Introduction a la Theorie des Sour-Ensembles Flous. Paris: Masson; 1977.

    MATH  Google Scholar 

  13. van Atten M. On Brouwer. Wadsworth: Behnout; 2004.

    MATH  Google Scholar 

  14. Brouwer LEJ. Collected works, vol. 1. Amsterdam: North Holland; 1975.

    MATH  Google Scholar 

  15. Brouwer’s Cambridge Lectures on Intuitionism (D. Van Dalen, Ed.), Cambridge University Press, Cambridge, 1981.

    Google Scholar 

  16. Atanassov K. Geometrical interpretation of the elements of the intuitionistic fuzzy objects, Preprint IM-MFAIS-1-89, Sofia, 1989, Reprinted: Int J Bioautomation. 2016;20(S1):S27–S42.

    Google Scholar 

  17. Dworniczak P. A note on the unconscientious experts’ evaluations in the intuitionistic fuzzy environment. Notes on Intuitionistic Fuzzy Sets. 2012;18(3):23–29.

    Google Scholar 

  18. Dworniczak P. Further remarks about the unconscientious experts evaluations in the intuitionistic fuzzy environment. Notes on Intuitionistic Fuzzy Sets. 2013;19(1):27–31.

    Google Scholar 

  19. Atanassova V. Representation of fuzzy and intuitionistic fuzzy data by Radar charts. Notes on Intuitionistic Fuzzy Sets. 2010;16(1):21–26. http://ifigenia.org/wiki/issue:nifs/16/1/21-26

  20. Angelova N, Atanassov K. Intuitionistic fuzzy implications and the axioms of intuitionistic logic. In: 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), 30.06–03.07. Gijon, Spain, 2015. p. 1578–1584.

    Google Scholar 

  21. Angelova N, Atanassov K. Intuitionistic fuzzy implications and Klir-Yuans axioms. In: Atanassov KT, Castillo O, Kacprzyk J, Krawczak M, Melin P, Sotirov S, Sotirova E, Szmidt E, De Tr G, Zadrony S, editors. Novel developments in uncertainty representation and processing. Advances in intuitionistic fuzzy sets and generalized nets, vol. 401. 2016. p. 97–110.

    Google Scholar 

  22. Angelova N, Marinov E, Atanassov K. Intuitionistic fuzzy implications and Kolmogorovs and Lukasiewisz Tarskis axioms of logic. Notes on Intuitionistic Fuzzy Sets. 2015;21(2):35–42.

    Google Scholar 

  23. Atanassov K. On some intuitionistic fuzzy implications. Comptes Rendus de l’Academie bulgare des Sciences, Tome 59, 2006;(1):19–24.

    Google Scholar 

  24. Atanassov K. A new intuitionistic fuzzy implication from a modal type. Adv Stud Contemp Math. 2006;12(1):117–122.

    Google Scholar 

  25. Atanassov K. On eight new intuitionistic fuzzy implications. In: Proceedings of the 3rd International IEEE Conference on “Intelligent Systems” IS06, London, 4–6 September, 2006. p. 741–746.

    Google Scholar 

  26. Atanassov K. On intuitionistic fuzzy implication \(\rightarrow ^{\varepsilon }\) and intuitionistic fuzzy negation \(\lnot ^{\varepsilon,\eta }\). Issues Intuit Fuzzy Sets Gen Nets. 2008;6:6–19.

    Google Scholar 

  27. Atanassov K. Intuitionistic fuzzy implication \(\rightarrow ^{\varepsilon,\eta }\) and intuitionistic fuzzy negation \(\lnot ^{\varepsilon,\eta }\). Develop Fuzzy Sets, Intuit Fuzzy Sets, Gen Nets Relat Topics. 2008;1:1–10.

    Google Scholar 

  28. Atanassov K. On a new intuitionistic fuzzy implication. In: 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT), 30.06–03.07, Gijon, Spain, 2015. p. 1592–1597.

    Google Scholar 

  29. Atanassov K. On intuitionistic fuzzy implications. Issues Intuit Fuzzy Sets Gen Nets. 2016;12:1–19.

    MATH  Google Scholar 

  30. Atanassov K, Dimitrov D. Intuitionistic fuzzy implications and axioms for implications. Notes Intuit Fuzzy Sets. 2010;16(1):10–20.

    MathSciNet  MATH  Google Scholar 

  31. Atanassov K, Kolev B. On an intuitionistic fuzzy implication from a probabilistic type. Adv Stud Contemp Math. 2006;12(1):111–116.

    Google Scholar 

  32. Atanassov K, Szmidt E. Remark on intuitionistic fuzzy implication \(\rightarrow ^{\varepsilon,\eta }\). Issues Intuit Fuzzy Sets Gen Nets. 2014;11:9–14.

    Google Scholar 

  33. Atanassov K, Szmidt E, Kacprzyk J. On Fodor’s type of intuitionistic fuzzy implication and negation. Notes on Intuitionistic Fuzzy Sets. 2015;21(2):25–34.

    Google Scholar 

  34. Szmidt E, Kacprzyk J, Atanassov K. Properties of Fodor’s intuitionistic fuzzy implication and negation. Notes on Intuitionistic Fuzzy Sets. 2015;21(4):6–12.

    Google Scholar 

  35. Szmidt E, Kacprzyk J, Atanassov K. Modal forms of Fodor’s type of intuitionistic fuzzy implication. Notes on Intuitionistic Fuzzy Sets. 2015;21(5):1–5.

    Google Scholar 

  36. Atanassov K, Trifonov T. On a new intuitionistic fuzzy implication of Godel’s type. Proc Jangjeon Math Soc. 2005;8(2):147–152.

    Google Scholar 

  37. Atanassov K, Trifonov T. Two new intuitionistic fuzzy implications. Adv Stud Contemp Math. 2006;13(1):69–74.

    MathSciNet  MATH  Google Scholar 

  38. Atanassova L. On an intuitionistic fuzzy implication from Kleene-Dienes type. Proc Jangjeon Math Soc. 2008;11(1):69–74.

    MathSciNet  MATH  Google Scholar 

  39. Atanassova L. Modifications of an intuitionistic fuzzy implication from Kleene-Dienes type. Adv Stud Contemp Math. 2008;16(2):155–160.

    Google Scholar 

  40. Atanassova L. New modifications of an intuitionistic fuzzy implication from Kleene-Dienes type. Part 2. Annual of Section “Informatics”, vol. 1, 2008. p. 59–64.

    Google Scholar 

  41. Atanassova L. New modifications of an intuitionistic fuzzy implication from Kleene-Dienes type. Part 3. Adv Stud Contemp Math. 2009;18(1):33–40.

    Google Scholar 

  42. Atanassova L. A new intuitionistic fuzzy implication. Cybern Inf Technol. 2009;9(2):21–25.

    Google Scholar 

  43. Atanassova L. On some properties of intuitionistic fuzzy negation \(\lnot _@\). Notes on Intuitionistic Fuzzy Sets. 2009;15(1):32–35.

    Google Scholar 

  44. Atanassova L. On two modifications of the intuitionistic fuzzy implication \(\rightarrow _@\). Notes on Intuitionistic Fuzzy Sets. 2012;18(2):26–30.

    Google Scholar 

  45. Atanassova L. On the modal form of the intuitionistic fuzzy implications \(\rightarrow ^{\prime }_@\) and \(\rightarrow _@^{\prime \prime }\). Issues Intuit Fuzzy Sets Gen Nets. 2013;10:5–11.

    Google Scholar 

  46. Atanassova L. On the intuitionistic fuzzy form of the classical implication \((A \rightarrow B) \vee (B \rightarrow A)\). Notes on Intuitionistic Fuzzy Sets. 2013;19(4):15–18.

    Google Scholar 

  47. Atanassova L. Remark on the intuitionistic fuzzy forms of two classical logic axioms. Part 1. Annual of Section “Informatics”. 2014;7:24–27.

    Google Scholar 

  48. Atanassova L. Remark on the intuitionistic fuzzy forms of two classical logic axioms. Part 2. Notes Intuit Fuzzy Sets. 2014;20(4):10–13.

    Google Scholar 

  49. Atanassova L. Remark on Dworniczak’s intuitionistic fuzzy implications. Part 1. Notes on Intuitionistic Fuzzy Sets. 2015;21(3):18–23.

    Google Scholar 

  50. Atanassova L. Remark on Dworniczak’s intuitionistic fuzzy implications. Part 2, Annual of “Informatics” Section Union of Scientists in Bulgaria, Vol. 8, 2015 (in press).

    Google Scholar 

  51. Atanassova L. Remark on Dworniczak’s intuitionistic fuzzy implications. Part 3. Issues Intuit Fuzzy Sets Gen Nets. 2016;12 (in press).

    Google Scholar 

  52. Dworniczak P. Some remarks about the L. Atanassova’s paper “A new intuitionistic fuzzy implication”. Cybern Inf Technol. 2010;10(3):3–9.

    Google Scholar 

  53. Dworniczak P. On one class of intuitionistic fuzzy implications. Cybern Inf Technol. 2010;10(4):13–21.

    MathSciNet  Google Scholar 

  54. Dworniczak P. On some two-parametric intuitionistic fuzzy implication. Notes on Intuitionistic Fuzzy Sets. 2011;17(2):8–16.

    Google Scholar 

  55. Riecan B, Atanassov K. On a new intuitionistic fuzzy implication of Gaines-Rescher’s type. Notes on Intuitionistic Fuzzy Sets. 2007;13(4):1–4.

    Google Scholar 

  56. Klir G, Yuan B. Fuzzy sets and fuzzy logic. Upper Saddle River: Prentice Hall; 1995.

    MATH  Google Scholar 

  57. Atanassov K. On some intuitionistic fuzzy negations. In: Proceedings of the First International Workshop on IFSs, Banska Bystrica, 22 September, 2005. Notes on Intuitionistic Fuzzy Sets. 2005;11(6):13–20.

    Google Scholar 

  58. Atanassov K. Second Zadehs intuitionistic fuzzy implication. Notes on Intuitionistic Fuzzy Sets. 2011;17(3):11–14.

    Google Scholar 

  59. Atanassov K. On intuitionistic fuzzy negations and Law of Excluded Middle. In: Proceedings of the 2010 IEEE International Conference on Intelligent Systems (IS 2010), London, 7–9 July 2010. p. 266–269.

    Google Scholar 

  60. Atanassov K, Angelova N. Maximal and minimal intuitionistic fuzzy negations. In: Atanassov K, Baczynski M, Drewniak J, Kacprzyk J, Krawczak M, Szmidt E, Wygralak M, Zadrozny S, editors. Modern approaches in fuzzy sets, intuitionistic fuzzy sets, generalized nets and related topics, Volume 1: Foundations. Warsaw: SRI-PAS; 2014. p. 51–61.

    Google Scholar 

  61. Atanassov K, Angelova N. On intuitionistic fuzzy negations, law for excluded middle and De Morgan’s laws. Issues Intuit Fuzzy Sets Gen Nets. vol. 12, 2016 (in press).

    Google Scholar 

  62. Atanassov K, Dimitrov D. On the negations over intuitionistic fuzzy sets. Part 1, Annual of “Informatics” Section Union of Scientists in Bulgaria, vol. 1, 2008, p. 49–58.

    Google Scholar 

  63. Atanassov K, Angelova N. Properties of intuitionistic fuzzy implications and negations. In: Proceedings of the 20th International Conference on Intuitionistic Fuzzy Sets, Sofia, 2–3 Sept 2016, Notes on Intuitionistic Fuzzy Sets 2016;22(3):25–33.

    Google Scholar 

  64. Plisko V. A survey of propositional realizability logic. Bull Symb Logic. 2009;15(1):1–42.

    Google Scholar 

  65. Rose GF. Propositional calculus and realizability. Trans Am Math Soc. 1953;75:1–19.

    Article  MathSciNet  MATH  Google Scholar 

  66. Trillas E. On the law in fuzzy logic. IEEE Trans Fuzzy Syst. 2002;10(1):84–88.

    Google Scholar 

  67. Rasiova H, Sikorski R. The mathematics of metamathematics. Pol Acad of Sci Warszawa, 1963.

    Google Scholar 

  68. Tabakov M. Logics and axiomatics. Sofia: Nauka i Izkustvo; 1986 (in Bulgarian).

    Google Scholar 

  69. Hoormann CFA Jr. On Hauber’s statement of his theorem. Notre Dame Journal of Formal Logic. 1971;12(1):86–88.

    Google Scholar 

  70. Sobocinski B. Lattice-theoretical and mereological forms of Hauber’s law. Notre Dame Journal of Formal Logic. 1971;12(1):81–85.

    Google Scholar 

  71. Atanassov K. The Hauber’s law is an intuitionistic fuzzy tautology. Notes on Intuitionistic Fuzzy Sets. 1997;3(2):82–84.

    Google Scholar 

  72. Schalkoff R. Artificial intelligence. New York: McGraw-Hill; 1990.

    Google Scholar 

  73. Gargov G, Atanassov K. An intuitionistic fuzzy interpretation of the basic axiom of the resolution. Notes on Intuitionistic Fuzzy Sets. 1996;2(3):20–21.

    Google Scholar 

  74. Nute D. Defeasible reasoning and decision support systems. Decis Support Syst. 1988;4:97–110.

    Google Scholar 

  75. Atanassov K. Intuitionistic fuzzy interpretation of the conditional logic VW. In: Lakov D, editor. Proceedings of the Second Workshop on Fuzzy Based Expert Systems FUBEST’96, Sofia, 9–11 Oct 1996. p. 81–86.

    Google Scholar 

  76. Atanassov K. On intuitionistic fuzzy negations and De Morgan Laws. In: Proceedings of the Eleventh International Conference IPMU, Paris, 2–7 July 2006. PP. 2399–2404.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Bioinformatics and Mathematical Modelling, Institute of Biophysics and Biomedical Engineering, Bulgarian Academy of Sciences, Sofia, Bulgaria

    Krassimir T. Atanassov

Authors
  1. Krassimir T. Atanassov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Krassimir T. Atanassov .

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this chapter

Cite this chapter

Atanassov, K.T. (2017). Elements of Intuitionistic Fuzzy Propositional Calculus. In: Intuitionistic Fuzzy Logics. Studies in Fuzziness and Soft Computing, vol 351. Springer, Cham. https://doi.org/10.1007/978-3-319-48953-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-48953-7_1

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-48952-0

  • Online ISBN: 978-3-319-48953-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation