• Title of article

    Arithmetical complexity of fuzzy predicate logics — A survey II

  • Author/Authors

    Hلjek، نويسنده , , Petr، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2009
  • Pages
    8
  • From page
    212
  • To page
    219
  • Abstract
    Results on arithmetical complexity of important sets of formulas of several fuzzy predicate logics (tautologies, satisfiable formulas, …) are surveyed and some new results are proven.
  • Keywords
    Arithmetical hierarchy , Tautologies , Fuzzy predicate logics
  • Journal title
    Annals of Pure and Applied Logic
  • Serial Year
    2009
  • Journal title
    Annals of Pure and Applied Logic
  • Record number

    1444372