×

zbMATH — the first resource for mathematics

Corrigendum to “Kripke-style semantics for many-valued logics”. (English) Zbl 1039.03013
Summary: 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 the author’s paper quoted in the title [ibid. 49, 629–641 (2003; Zbl 1035.03010)], but the proof given there was incorrect.

MSC:
03B50 Many-valued logic
03B47 Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
03G25 Other algebras related to logic
PDF BibTeX XML Cite
Full Text: DOI