Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

On elementary equivalence in fuzzy predicate logics

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

Our work is a contribution to the model theory of fuzzy predicate logics. In this paper we characterize elementary equivalence between models of fuzzy predicate logic using elementary mappings. Refining the method of diagrams we give a solution to an open problem of Hájek and Cintula (J Symb Log 71(3):863–880, 2006, Conjectures 1 and 2). We investigate also the properties of elementary extensions in witnessed and quasi-witnessed theories, generalizing some results of Section 7 of Hájek and Cintula (J Symb Log 71(3):863–880, 2006) and of Section 4 of Cerami and Esteva (Arch Math Log 50(5/6):625–641, 2011) to non-exhaustive models.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Belohlávek R.: Fuzzy Relational Systems: Foundations and Principles. Springer, Berlin (2002)

    Book  MATH  Google Scholar 

  2. Cerami M., Esteva F.: Strict core fuzzy logics and quasi-witnessed models. Arch. Math. Log. 50(5/6), 625–641 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  3. Chang C.C., Keisler H.J.: Model Theory, Studies in Logic, 73. North-Holland, Amsterdam (1990)

    Google Scholar 

  4. Cignoli R., Esteva F., Godo L., Torrens A.: Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft. Comput. 4(2), 106–112 (2000)

    Article  Google Scholar 

  5. Cintula, P.: From fuzzy logic to fuzzy mathematics. Ph.D. dissertation, Czech Technical University, Prague (2005)

  6. Cintula P., Hájek P.: Triangular norm based predicate fuzzy logics. Fuzzy Sets Syst. 161, 311–346 (2010)

    Article  MATH  Google Scholar 

  7. Cintula P., Esteva F., Gispert J., Godo L., Montagna F., Noguera C.: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Ann. Pure Appl. Log. 160(1), 53–81 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  8. Dellunde, P.: Preserving mappings in fuzzy predicate logics. J. Log. Comput. (2011, in press)

  9. Dellunde, P., Esteva, F.: On elementary extensions for fuzzy predicate logics. In: Proceedings of IPMU 2010, 6178:747–756 (2010)

  10. Di Nola, A., Gerla, G.: Fuzzy models of first order languages. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 32, 331–340 (1986)

  11. Esteva F., Godo L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124(3), 271–288 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  12. Hájek P.: Metamathematics of Fuzzy Logic, Trends in Logic—Studia Logica Library, 4. Kluwer, Dordrecht (1998)

    Book  Google Scholar 

  13. Hájek P.: Making fuzzy description logic more general. Fuzzy Sets Syst. 154(1), 1–15 (2005)

    Article  MATH  Google Scholar 

  14. Hájek P.: On witnessed models in fuzzy logic. Math. Log. Q. 53(1), 66–77 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  15. Hájek P.: On witnessed models in fuzzy logic II. Math. Log. Q. 53(6), 610–615 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  16. Hájek P., Cintula P.: On theories and models in fuzzy predicate logics. J. Symb. Log. 71(3), 863–880 (2006)

    Article  MATH  Google Scholar 

  17. Jenei S., Montagna F.: A proof of standard completeness for Esteva and Godo’s logic MTL. Studia Logica 70(2), 183–192 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  18. Laskowski M.C., Malekpour S.: Provability in predicate product logic. Arch. Math. Log. 46(5), 365–378 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  19. Montagna F.: Interpolation and Beth’s property in propositional many-valued logics: a semantic investigation. Ann. Pure Appl. Log. 141(1–2), 148–179 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  20. Novák V., Perfilieva I., Močkoř J.: Mathematical Principles of Fuzzy Logic, The Kluwer International Series in Engineering and Computer Science, 517. Kluwer, Boston (1999)

    Book  Google Scholar 

  21. Rasiowa H.: An Algebraic Approach to Non-classical Logics. North-Holland, Amsterdam (1974)

    MATH  Google Scholar 

  22. Rasiowa H., Sikorski R.: The Mathematics of the Metamathematics. P.W.N., Warszawa (1963)

    MATH  Google Scholar 

  23. Tarski A.: Der wahrheitsbegriff in den formalisierten sprachen. Studia Philosophica 1, 261–405 (1935)

    Google Scholar 

  24. Tarski A., Vaught R.L.: Arithmetical extensions of relational systems. Compositio Math. 13, 81–102 (1957)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Universitat Autònoma de Barcelona, 08193, Bellaterra, Catalonia, Spain

    Pilar Dellunde

  2. Artificial Intelligence Research Institute, Campus Universitat Autònoma de Barcelona, 08193, Bellaterra, Catalonia, Spain

    Francesc Esteva

Authors
  1. Pilar Dellunde
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Francesc Esteva
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Pilar Dellunde.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dellunde, P., Esteva, F. On elementary equivalence in fuzzy predicate logics. Arch. Math. Logic 52, 1–17 (2013). https://doi.org/10.1007/s00153-012-0303-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-012-0303-x

Keywords

Mathematics Subject Classification

Search

Navigation