Skip to main content
SpringerLink
Log in

Monadic Fuzzy Predicate Logics

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Two variants of monadic fuzzy predicate logic are analyzed and compared with the full fuzzy predicate logic with respect to finite model property (properties) and arithmetical complexity of sets of tautologies, satisfiable formulas and of analogous notion restricted to finite models.

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. Baaz M., P. HÁjek, F. Montagna, H. Veith, 'Complexity of t-tautologies’ (to appear in Annals of Pure and Applied Logic).

  2. HÁjek, P., Metamathematics of Fuzzy Logic, Kluwer 1998.

  3. HÁjek, P. 'Trakhtenbrot theorem and fuzzy logic', pp. 1-8 in G. Gottlob et. al. (ed.), Computer Science Logic CSL'98, Springer 1999.

  4. HÁjek, P., 'Fuzzy logic and arithmetical hierarchy III', Studia Logica 68 (2001), 129-142.

    Google Scholar 

  5. HÁjek P., and T. HavrÁnek, Mechanizing Hypothesis Formation, Springer 1978.

  6. Montagna, F., 'Three complexity problems in quantified fuzzy logic', Studia Logica 68 (2001), 143-152.

    Google Scholar 

  7. Mundici, D., 'Satisfiability in many-valued sentential logic is NP-complete', Theor. Comp. Sci. 52 (1987), 145-153.

    Google Scholar 

  8. Ragaz, M., Arithmetische Klassifikation von Formelnmengen der unendlichwertigen Logik, Thesis, ETH Zürich 1981.

  9. Ragaz, M., 'Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik', Arch. Math. Logik 23 (1983), 129-139.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod vodárenskou věží 2, 182 07, 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

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hájek, P. Monadic Fuzzy Predicate Logics. Studia Logica 71, 165–175 (2002). https://doi.org/10.1023/A:1016544704961

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1016544704961

Search

Navigation