Studia Logica

, Volume 68, Issue 1, pp 143–152

Three Complexity Problems in Quantified Fuzzy Logic

  • Franco Montagna
Article

DOI: 10.1023/A:1011958407631

Cite this article as:
Montagna, F. Studia Logica (2001) 68: 143. doi:10.1023/A:1011958407631

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

many valued logicspredicate logicsundecidability

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Franco Montagna
    • 1
  1. 1.Dipartimento di MatematicaSiena