Omitting types in fuzzy logic with evaluated syntax

✍ Scribed by Petra Murinová; Vilém Novák

• Book ID: 102484128
• Publisher: John Wiley and Sons
• Year: 2006
• Tongue: English
• Weight: 169 KB
• Volume: 52
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.200510031

✦ Synopsis

Abstract

This paper is a contribution to the development of model theory of fuzzy logic in narrow sense. We consider a formal system Ev~Ł~ of fuzzy logic that has evaluated syntax, i. e. axioms need not be fully convincing and so, they form a fuzzy set only. Consequently, formulas are provable in some general degree. A generalization of Gödel's completeness theorem does hold in Ev~Ł~. The truth values form an MV‐algebra that is either finite or Łukasiewicz algebra on [0, 1].

The classical omitting types theorem states that given a formal theory T and a set Σ(x ~1~, … , x~n~ ) of formulas with the same free variables, we can construct a model of T which omits Σ, i. e. there is always a formula from Σ not true in it. In this paper, we generalize this theorem for Ev~Ł~, that is, we prove that if T is a fuzzy theory and Σ(x ~1~, … , x~n~ ) forms a fuzzy set , then a model omitting Σ also exists. We will prove this theorem for two essential cases of Ev~Ł~: either Ev~Ł~ has logical (truth) constants for all truth values, or it has these constants for truth values from [0, 1] ∩ ℚ only. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)