Studia Logica

, Volume 68, Issue 1, pp 129-142

First online:

Fuzzy Logic and Arithmetical Hierarchy III

  • Petr HájekAffiliated withInstitute of Computer Science, Academy of Sciences of the Czech Republic

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


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