Fuzzy Sets and Systems 158 (2007) 595 596 www.elsevier.

com/locate/fss

Editorial

Selected papers from the International Conference The Logic of Soft Computing IV and Fourth workshop of the ERCIM working group on soft computing
A lot of conferences on soft computing and related topics are organized each year all over the world. Only few of them, however, became a tradition because they are the most productive. As a rule, these conferences are smaller in their number of participants and so, less formal relations lead to discussions that often result in conceptually new ideas and solutions. We are convinced that the conferences with the general title The Logic of Soft Computing that are usually organized in parallel with workshops of the ERCIM working group on soft computing are of this kind. Since 2001, they took place in Italy (Capri, Gargnano, Sienna) and in Vienna in Austria. The Logic of Soft Computing IV and Fourth workshop of the ERCIM working group on soft computing was organized in Ostrava, Czech Republic in October 57, 2005. Let us mention that in 2006 the conference series was continued in Malaga, Spain. The choice of Ostrava as a place for the conference in 2005 was not accidental. In 1996, the Institute for Research and Applications of Fuzzy Modeling of the University of Ostrava has been established as one of few working places focused entirely on the topic of fuzzy modeling and soft computing. The results of this small institute now reached almost 300 publications including four books and also a special fuzzy modeling software (Linguistic Fuzzy Logic Controller LFLC 2000). Using it a number of models and applications of various kinds have been realized. The conference was successful. Altogether 32 contributions have been presented and the number of participants was 56. The following people accepted to give invited talks: F. Esteva, IIIA, Barcelona, Spain: Logics of a continuous T-norm and its residuum with truth-constants. D. Mundici, University of Florence, Florence, Italy: Hajeks basic logic and multichannel games with lies. U. Straccia, ISTI-C.N.R., Pisa, Italy: Fuzzy Description Logics and the Semantic Web. D. Westersthl, Gothenburg University, Gothenburg, Sweden: Generalized Quantier Theory: an(other) area where logic meets linguistics and computer science.

This special issue of selected papers covers a small portion of the topics presented at the conference. The rst two papers deal with pure formal fuzzy logic. The paper Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results, by Esteva, Gispert, Godo, and Noguera, is a detailed elaboration of the invited talk given by its rst author. It deals with the important question, how far logics of continuous t-norms can approach the fuzzy logic with evaluated syntax Ev . Though the full generalized completeness (also called Pavelka-style completeness) is not possible because the implication is not, in general, continuous, they provide a full description of standard completeness results for a wide class of such logics. The second paper On the Failure of Standard Completeness in MTL for Innite Theories, by Hor k, demonstrates that the logic MTL, which is the extension of MTL by the c axioms of product logic, is standard complete only for nite theories. The paper A logic for reasoning about the probability of fuzzy events, by Flaminio and Godo, touches the very important problem of modeling fully indeterminate events, i.e. those which are both uncertain as well as vague. The paper Product logic and probabilistic Ulam games by Montagna, Marini and Simi focuses on a game-semantics for the product logic which is similar to the Ulam game semantics for the ukasiewicz logic.
0165-0114/$ - see front matter 2006 Elsevier B.V. All rights reserved. doi:10.1016/j.fss.2006.11.005

596

Editorial / Fuzzy Sets and Systems 158 (2007) 595 596

The fth paper On approximate reasoning with graded rules by Da kov is an attempt to provide a formalization n of graded fuzzy IFTHEN rules, i.e. rules which may not be fully convincing and so, they may be assigned some weight. She shows that the weight can be derived from the formal interpretation of a knowledge base by a disjunctive or conjunctive normal form of fuzzy predicate logic. The last paper Fuzzy Logic Programming via Multilattices by Medina, Ojeda-Aciego and Ruiz-Calvino deals with multilattices taken as a set of truth-values which underlies a general fuzzy logic programming framework. Besides several theoretical results, an extended logic programming paradigm is introduced here. Vilm Novk Ostrava, Czech Republic E-mail address: vilem.novak@osu.cz Siegfried Gottwald Leipzig, Germany E-mail address: gottwald@uni-leipzig.de Petr Hjek Prague, Czech Republic E-mail address: hajek@cs.cas.cz