We present some model theoretic results for Lukasiewicz predicate logic by using the methods of continuous model theory developed by Chang and Keisler. We prove compactness theorem with respect to the class of all structures taking values in the Lukasiewicz BL-algebra. We also prove some appropriate preservation theorems concerning universal and inductive theories. Finally, Skolemization and Mo...

in the present paper, a partial order on a non- archimedean fuzzymetric space under the  lukasiewicz t-norm is introduced and fixed point theoremsfor single and multivalued mappings are proved.

In this paper we study generic expansions of logics of continuous t-norms with truth-constants, taking advantage of previous results for Lukasiewicz logic and more recent results for Gödel and Product logics. Indeed, we consider algebraic semantics for expansions of logics of continuous t-norms with a set of truth-constants {r | r ∈ C}, for a suitable countable C ⊆ [0, 1], and provide a full de...

A new technique named as Intuitionistic fuzzy max-min average composition method is proposed to study the Medical Diagnosis. In Sanchez's approach for decision making is studied and the concept is generalized by the application of IFS theory. Through a survey the relations between the symptoms and diseases are discussed. The proposed method is compared with max-min composition method.

As it is well-known, Lukasiewicz developed in [2] the many-valued propositional calculi based on two primitive connectives, negation N and implication C, which were defined semantically. Complete axiomatizations followed later on. Among the works on this argument, we mention Wajsberg [9], Rosser and Turquette [8], Mc Naughton [3], Rose and Rosser [7], Meredith [4], Chang [1], Rose [5], [6]. It ...

If logic programs are interpreted over a three-valued logic, then often Kleene’s strong three-valued logic with complete equivalence and Fitting’s associated immediate consequence operator is used. However, in such a logic the least fixed point of the Fitting operator is not necessarily a model for the program under consideration. Moreover, the model intersection property does not hold. In this...