Corrigendum to 'Kripke-style semantics for many-valued logics'

摘要

This note contains a correct proof of the fact that the set of all first-order formulas which are valid in all predicate Kripke frames for Hájek's many-valued logic BL is not arithmetical. The result was claimed in [5], but the proof given there was incorrect.