Studia Logica

, Volume 68, Issue 1, pp 129–142

Fuzzy Logic and Arithmetical Hierarchy III

  • Petr Hájek
Article

DOI: 10.1023/A:1011906423560

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

Abstract

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 logicbasic fuzzy logicŁukasiewicz logicGödel logicproduct logicarithmetical 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