Skip to main content
SpringerLink
Log in

Mathematical Fuzzy Logic – What It Can Learn from Mostowski and Rasiowa

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Important works of Mostowski and Rasiowa dealing with many-valued logic are analyzed from the point of view of contemporary mathematical fuzzy logic.

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

Access this article

Log in via an institution

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. Cintula, P., ‘Weakly implicative fuzzy logics’, Archive for Math. Logic, to apepar.

  2. Cintula, P., and P. Hájek, ‘Triangular norm based predicate fuzzy logics’, in Proceedings of 26th Linz seminar on fuzzy set theory 2005, to appear.

  3. Cintula, P., and M. Navara, ‘ Compactness of Fuzzy Logics’, Fuzzy sets and systems 143 (2003), 59–73.

    Article  Google Scholar 

  4. Esteva, F., and L. Godo, ‘Monoidal t-norm based logic: towards a logic of left continuous t-norms’, Fuzzy sets and systems 123 (2001), 271–288.

    Article  Google Scholar 

  5. Esteva, F., L. Godo, P. Hájek, and F. Montagna, ‘Hoops and Fuzzy Logic’, Journal of Logic and Computation 13 (2003), 532–555.

    Article  Google Scholar 

  6. Gottwald, S., and P. Hájek, ‘Triangular norm based mathematical fuzzy logics’, in E.-P. Klement, R. Mesiar (eds.), Logical, algebraic, analytic and probabilistic aspects of triangular norms. Kluwer 2005, pp. 275–299.

  7. Hájek, P., Metamathematics of fuzzy logic, Kluwer 1998.

  8. Hájek, P., ‘Arithmetical complexity and fuzzy logic — a survey’. Soft computing 9 (2005), 935–941.

    Article  Google Scholar 

  9. Hájek, P., ‘Observations on non-commutative fuzzy logic’, Soft computing 8 (2003), 38–43.

    Google Scholar 

  10. Hájek, P., ‘What is mathematical fuzzy logic’. Fuzzy sets and systems 157 (2006), 597–603.

    Article  Google Scholar 

  11. Montagna, F., Sacchetti, ‘Kripke semantics for many-valued logics’, Mathematical logic quaterly 49 (2003), 629–641.

    Article  Google Scholar 

  12. Mostowski, A., ‘Proofs of non-deducibility in intuitionistic functional calculus’, Journal of Symbolic Logic 13 (1948), 204–207.

    Article  Google Scholar 

  13. Mostowski, A., ‘Axiomatizability of some many-valued predicate calculi’, Fund. Math. 50 (1961), 165–190.

    Google Scholar 

  14. Mostowski, A., An example of a non-axiomatizable many-valued logic. Zeitschr. Math. Logik und Grundlagenforschung 7 (1961), 72–76.

    Google Scholar 

  15. Mostowski, A., ‘Hilbert epsilon function in many-valued logics’, Proc. Modal and many-valued logics, Helsinki 1962, pp. 169–188.

  16. Novák, V., I., Perfilieva, and J. Močkoř, Mathematical principles of fuzzy logic, Kluwer, 2000.

  17. Rasiowa, H., An algebraic approach to non-classical logics, PWN -Polish Scientific Publishers and North Holland Publ. Comp., 1974.

  18. Rasiowa, H., and R. Sikorski, The mathematics of metamathematics, Państwowe Wydawnictwo Naukowe, Warszawa, 1963.

  19. Zadeh, L., ‘Fuzzy sets’, Information and Control 8 (1965), 338–353.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science Academy of Sciences of the Czech Republic, 18207, Prague, Czech Republic

    Petr Hájek

Authors
  1. Petr Hájek
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Petr Hájek.

Additional information

A version of this paper has been presented during the conference Trends in Logic III, dedicated to the memory of A. MOSTOWSKI, H. RASIOWA and C. RAUSZER, and held in Warsaw and Ruciane-Nida from 23rd to 25th September 2005.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hájek, P. Mathematical Fuzzy Logic – What It Can Learn from Mostowski and Rasiowa. Stud Logica 84, 51–62 (2006). https://doi.org/10.1007/s11225-006-9002-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-006-9002-0

Keywords

Search

Navigation