Skip to main content
Log in

Three Complexity Problems in Quantified Fuzzy Logic

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We prove that the sets of standard tautologies of predicate Product Logic and of predicate Basic Logic, as well as the set of standard-satisfiable formulas of predicate Basic Logic are not arithmetical, thus finding a rather satisfactory solution to three problems proposed by Hájek in [H01].

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

Access this article

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. M. Baaz, 'Infinite-valued Gödel logics with 0-1 projections and relativizations', GÖDEL'96-Logical foundations of mathematics, computer science and physics, Lecture Notes in Logic 6 (1996), P. Hájek ( ed.), Springer Verlag, pp. 23-33.

  2. R. Cignoli, F. Esteva, L. Godo, A. Torrens, 'Basic fuzzy logic is the logic of continuous t-norms and their residua', to appear in Soft Computing.

  3. R. Cignoli, D. Mundici, I.M.L. D'Ottaviano, Algebraic Foundations of Many-Valued Reasoning, Kluwer 2000.

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

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  8. M. E. Ragaz, Arithmetische Klassification von Formelnmenge der unendlichwertigen Logik, ETH Zürich, (1981) Thesis.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Montagna, F. Three Complexity Problems in Quantified Fuzzy Logic. Studia Logica 68, 143–152 (2001). https://doi.org/10.1023/A:1011958407631

Download citation

  • Issue Date:

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

Navigation