Skip to main content
SpringerLink
Log in

Fuzzy Logic and Arithmetical Hierarchy III

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of tautologies (identically true sentences) and satisfiable sentences (sentences true in at least one interpretation) as well of sets of provable formulas of the most important systems of fuzzy predicate logic is determined or at least estimated.

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., 'Infinite-valued Gödel logics with 0-1 projections and relativization',in Gödel '96, P. Hájek (ed.), L N in logic 6, Springer Verlag 1996, 23-33.

  2. Baaz, M., P. HÁjek, F. Montagna, H. Veith, 'Complexity of t-tautologies', to appear in Annals of Pure and Applied Logic.

  3. Cignoli, R., I. M. L. d'Ottaviano, D. Mundici D, Algebraic Foundations of Manyvalued Reasoning, Kluwer 2000.

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

    Google Scholar 

  5. Esteva, F., L. Godo, P. HÁjek, M. Navara, 'Residuated logics with an involutive negation', Arch. Math. Logic.

  6. Esteva, F., L. Godo, F. Montagna, 'The LΠ and LΠ1/2 logics: two complete systems joining ?ukasiewicz and product logic', to appear in Arch. Math. Logic.

  7. HÁjek, P., 'Fuzzy logic and arithmetical hierarchy', Fuzzy Sets and Systems 73,3 (1995), 359-363.

    Google Scholar 

  8. HÁjek, P., 'Fuzzy logic and arithmetical hierarchy II', Studia Logica 58 (1997), 129-141.

    Google Scholar 

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

  10. HÁjek, P., 'Mathematical fuzzy logic-state of art', in Proc. Logic Colloquium '98, Buss at al. (ed.), Association for Symbolic Logic 2000.

  11. HÁjek, P., 'Basic fuzzy logic and BL-algebras', Soft Computing 2 (1998),124-128.

    Google Scholar 

  12. HÁjek, P., P. PudlÁk, Metamathematics of Arithmetic, Springer 1993.

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

    Google Scholar 

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

  15. Rogers Jr., H., Theory of Recursive Functions and Effective Computability, McGraw-Hill, 1967.

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. Fuzzy Logic and Arithmetical Hierarchy III. Studia Logica 68, 129–142 (2001). https://doi.org/10.1023/A:1011906423560

Download citation

  • Issue Date:

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

Search

Navigation