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]. 
    37 Citations

    Topics from this paper

    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