Studia Logica

, Volume 68, Issue 1, pp 129–142

Fuzzy Logic and Arithmetical Hierarchy III

  • Petr Hájek

DOI: 10.1023/A:1011906423560

Cite this article as:
Hájek, P. Studia Logica (2001) 68: 129. doi:10.1023/A:1011906423560


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.

fuzzy logic basic fuzzy logic Łukasiewicz logic Gödel logic product logic arithmetical hierarchy 

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Petr Hájek
    • 1
  1. 1.Institute of Computer ScienceAcademy of Sciences of the Czech RepublicPragueCzech Republic

Personalised recommendations