✦ LIBER ✦

Corrigendum to “Kripke-style semantics for many-valued logics”

✍ Scribed by Franco Montagna; Lorenzo Sacchetti

Publisher: John Wiley and Sons
Year: 2004
Tongue: English
Weight: 90 KB
Volume: 50
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.200310081

No coin nor oath required. For personal study only.

✦ Synopsis

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)

📜 SIMILAR VOLUMES

Kripke-style semantics for many-valued l

Kripke-style semantics for many-valued logics

✍ Franco Montagna; Lorenzo Sacchetti 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 192 KB

## Abstract This paper deals with Kripke‐style semantics for many‐valued logics. We introduce various types of Kripke semantics, and we connect them with algebraic semantics. As for modal logics, we relate the axioms of logics extending MTL to properties of the Kripke frames in which they are valid