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

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. (© 2003 WILEY‐VCH Verlag GmbH &...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Mathematical logic quarterly 2004-01, Vol.50 (1), p.104-107
Hauptverfasser: Montagna, Franco, Sacchetti, Lorenzo
Format: Artikel
Sprache:eng
Schlagworte:
algebraic semantics
Kripke model
Many-valued logic
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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)
ISSN:0942-5616
1521-3870
DOI:10.1002/malq.200310081