Skip to main content
SpringerLink
Log in

Fuzzy Free Logic with Dual Domain Semantics

  • Conference paper
  • First Online:
Logic and Its Applications (ICLA 2023)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13963))

Included in the following conference series:

  • 200 Accesses

Abstract

In this work we propose a fuzzy free logic, that is a generalized system which can give proper interpretation to sentences containing vagueness of non-referring singular terms. This logic is an amalgamation of classical positive free logic system with predicate rational Pavelka logic. The semantics given to the fuzzy free logic is based on dual-domain semantics. A graded similarity measure is introduced in the system which allows comparing two objects based on some properties and assign a degree of similarity. Soundness of the proposed system is proved.

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

Access this chapter

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 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight 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

  1. Banerjee, M., Chakraborty, M.K.: Foundations of vagueness: a category-theoretic approach. Electron. Notes Theor. Comput. Sci. 82(4), 10–19 (2003)

    Article  MATH  Google Scholar 

  2. Běhounek, L., Dvořák, A.: Non-denoting terms in fuzzy logic: an initial exploration. In: Kacprzyk, J., Szmidt, E., Zadrożny, S., Atanassov, K.T., Krawczak, M. (eds.) IWIFSGN/EUSFLAT -2017. AISC, vol. 641, pp. 148–158. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-66830-7_14

    Chapter  Google Scholar 

  3. Bencivenga, E.: Free semantics. In: Dalla Chiara, M.L. (ed.) Italian Studies in the Philosophy of Science. Boston Studies in the Philosophy of Science, vol. 47, pp. 31–48. Springer, Dordrecht (1980). https://doi.org/10.1007/978-94-009-8937-5_3

    Chapter  Google Scholar 

  4. Hájek, P.: Metamathematics of Fuzzy Logic, vol. 4. Springer, Heidelberg (2013)

    MATH  Google Scholar 

  5. Hájek, P., Paris, J., Shepherdson, J.: Rational Pavelka predicate logic is a conservative extension of łukasiewicz predicate logic. J. Symb. Log. 65, 669–682 (2000)

    Article  MATH  Google Scholar 

  6. Khan, M.A., Banerjee, M., Rieke, R.: An update logic for information systems. Int. J. Approximate Reason. 55(1), 436–456 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  7. Lambert, K.: Free Logic: Selected Essays. Cambridge University Press, Cambridge (2002)

    Book  MATH  Google Scholar 

  8. Lambert, K.: The philosophical foundations of free logic. In: Lambert, K. (ed.) Free Logic: Selected Essays, pp. 122–175. Cambridge University Press, Cambridge (2004)

    Google Scholar 

  9. Lambert, K., et al.: Existential import revisited. Notre Dame J. Formal Log. 4(4), 288–292 (1963)

    Article  MathSciNet  MATH  Google Scholar 

  10. Lambert, K., et al.: Free logic and the concept of existence. Notre Dame J. Formal Log. 8(1–2), 133–144 (1967)

    MathSciNet  MATH  Google Scholar 

  11. Lehmann, S.: Strict Fregean free logic. J. Philos. Log. 307–336 (1994)

    Google Scholar 

  12. Morscher, E., Simons, P.: Free logic: a fifty-year past and an open future. In: Morscher, E., Hieke, A. (eds.) New Essays in Free Logic. Applied Logic Series, vol. 23, pp. 1–34. Springer, Dordrecht (2001). https://doi.org/10.1007/978-94-015-9761-6_1d

    Chapter  MATH  Google Scholar 

  13. Nolt, J.: Free logics. In: Jacquette, D. (ed.) Philosophy of Logic, pp. 1023–1060. Elsevier, Amsterdam (2007)

    Chapter  Google Scholar 

  14. Sessa, M.I.: Approximate reasoning by similarity-based SLD resolution. Theoret. Comput. Sci. 275(1–2), 389–426 (2002)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgement

The authors are indebted to Dr. Mihir Kumar Chakraborty and Dr. Purbita Jana for their valuable comments and suggestions.

Author information

Authors and Affiliations

  1. Department of Philosophy, Rabindra Bharati University, Kolkata, West Bengal, India

    Bornali Paul

  2. ECSU, Indian Statistical Institute, Kolkata, West Bengal, India

    Sandip Paul

Authors
  1. Bornali Paul
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sandip Paul
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to Bornali Paul or Sandip Paul .

Editor information

Editors and Affiliations

  1. Indian Institute of Technology Kanpur, Kanpur, India

    Mohua Banerjee

  2. Indian Institute of Technology Goa, Ponda, India

    A. V. Sreejith

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Paul, B., Paul, S. (2023). Fuzzy Free Logic with Dual Domain Semantics. In: Banerjee, M., Sreejith, A.V. (eds) Logic and Its Applications. ICLA 2023. Lecture Notes in Computer Science, vol 13963. Springer, Cham. https://doi.org/10.1007/978-3-031-26689-8_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-26689-8_10

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-26688-1

  • Online ISBN: 978-3-031-26689-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation