𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Kripke Bundle Semantics and C-set Semantics

✍ Scribed by Eiko Isoda

Book ID
110217406
Publisher
Springer Netherlands
Year
1997
Tongue
English
Weight
202 KB
Volume
58
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Incompleteness Results in Kripke Bundle
Incompleteness Results in Kripke Bundle Semantics
✍ Kazuaki Nagaoka; Eiko Isoda 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 695 KB

## Abstract Kripke bundle and C‐set semantics are known as semantics which generalize standard Kripke semantics. In [4] and in [1, 2] it is shown that Kripke bundle and C‐set semantics are stronger than standard Kripke semantics. Also it is true that C‐set semantics for superintuitionistic logics i

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

Corrigendum to “Kripke-style semantics f
Corrigendum to “Kripke-style semantics for many-valued logics”
✍ Franco Montagna; Lorenzo Sacchetti 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB

## 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 G