𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Corrigendum to “Weak Arithmetics and Kripke Models”

✍ Scribed by Morteza Moniri

Publisher
John Wiley and Sons
Year
2004
Tongue
English
Weight
63 KB
Volume
50
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

We give a corrected proof of the main result in the paper [2] mentioned in the title. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

📜 SIMILAR VOLUMES

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

PIEZO–BEAM SYSTEMS SUBJECTED TO WEAK ELE
PIEZO–BEAM SYSTEMS SUBJECTED TO WEAK ELECTRIC FIELD: EXPERIMENTS AND MODELLING OF NON-LINEARITIES
✍ U. VON WAGNER; P. HAGEDORN 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 170 KB

Typical non-linear effects, e.g., dependence of the resonance frequency on the amplitude, superharmonics in spectra and a non-linear relationship between excitation voltage and vibration amplitude are observed in experiments with piezoceramics and in piezo-beam systems excited at resonance by weak e