Three Complexity Problems in Quantified Fuzzy Logic

@article{Montagna2001ThreeCP,
  title={Three Complexity Problems in Quantified Fuzzy Logic},
  author={F. Montagna},
  journal={Studia Logica},
  year={2001},
  volume={68},
  pages={143-152}
}
  • F. Montagna
  • Published 2001
  • Mathematics, Computer Science
  • Studia Logica
    • 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]. 
    View on Springer
    wikidata.org
    37 Citations
    Highly Influential Citations
    4
    Background Citations
    17
    Methods Citations
    2
    Results Citations
    1

    Topics from this paper

    Explore Further: Topics Discussed in This Paper

        37 Citations
        Citation Type

        Citation Type

        Arithmetical complexity of fuzzy predicate logics - A survey II
        • P. Hájek
        • Mathematics, Computer Science
        • Ann. Pure Appl. Log.
        • 2009
        • 13
        Arithmetical complexity of fuzzy predicate logics – a survey
        • P. Hájek
        • Mathematics, Computer Science
        • Soft Comput.
        • 2005
        • 37
        Monadic Fuzzy Predicate Logics
        • P. Hájek
        • Mathematics, Computer Science
        • Stud Logica
        • 2002
        • 9
        A True Unprovable Formula of Fuzzy Predicate Logic
        • P. Hájek
        • Mathematics, Computer Science
        • Logic versus Approximation
        • 2004
        • 5
        • Highly Influenced
        On witnessed models in fuzzy logic
        • P. Hájek
        • Mathematics, Computer Science
        • Math. Log. Q.
        • 2007
        • 48
        Effectiveness and multivalued logics
        • 37
        • Highly Influenced
        Triangular norm based predicate fuzzy logics
        • 71
        • PDF
        Church Thesis for fuzzy logic
        Set Theory and Arithmetic in Fuzzy Logic
        • 4
        Multi-valued Logics, Effectiveness and Domains
        • 3

        References

        SHOWING 1-5 OF 5 REFERENCES
        Fuzzy logic and arithmetical hierarchy
        • 95
        Fuzzy Logic and Arithmetical Hierarchy III
        • 40
        Metamathematics of Fuzzy Logic
        • P. Hájek
        • Computer Science, Mathematics
        • Trends in Logic
        • 1998
        • 3,531
        Basic Fuzzy Logic is the logic of continuous t-norms and their residua
        • 315
        Algebraic Foundations of Many-Valued Reasoning
        • 1,013