Corrigendum to “Kripke‐style semantics for many‐valued logics”
Franco Montagna, Lorenzo Sacchetti · Mathematical logic quarterly · 2003
Abstract 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. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)