Premium
Omitting types in fuzzy logic with evaluated syntax
Author(s) -
Murinová Petra,
Novák Vilém
Publication year - 2006
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200510031
Subject(s) - mathematics , truth value , gödel's completeness theorem , fuzzy logic , axiom , discrete mathematics , łukasiewicz logic , generalization , many valued logic , classical logic , completeness (order theory) , algebra over a field , pure mathematics , substructural logic , artificial intelligence , computer science , description logic , mathematical analysis , geometry , programming language
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)