Introduction to the Special Issue of the IEEE 40th International Symposium on Multiple-Valued Logic
Francesc Esteva, Joan Gispert and Felip Manyà
This special issue contains extended versions of 17 papers presented at the IEEE 40th International Symposium on Multiple-Valued Logic (ISMVL-2010) that took place in Barcelona, in May 2010. The papers were selected by the ISMVL-2010 Program Committee among the 56 papers of the Symposium, and were refereed in accordance to the standards of the journal.
The papers presented here reflect the wide range of topics present at ISMVL-2010. The reader can find innovative results in several areas of multiple-valued logic, including algebra and formal aspects, circuit /device implementation, clones, logic design and switching theory, mathematical fuzzy logic, quantum computing, satisfiability, spectral techniques, and VLSI-architecture.
Compared with previous editions of the Symposium, ISMVL-2010 experienced a remarkable increase in submissions in the area of mathematical fuzzy logic (MFL). In the last decade, we have seen important results and tremendous progress in the study of MFL, understood as the multiple-valued logic underlying the fuzzy logic in the narrow sense (a topic that has been present, in ISMVL, from the beginning), and corresponding to the semantics defined on the real unit interval with a structure defined by a t-norm and its residuum. We are confident that MFL will be one of the main topics of future research in the multiple-valued logic community, and we are happy with its increased presence in the Symposium.
The Guest Editors would like to express their sincere gratitude to the authors for their contributions, to the Program Committee for the selection of papers, to the reviewers for their careful and thorough work, and to the Editors-in- Chief of the Journal Multiple-Valued Logic and Soft Computing, Prof. Dan Simovici and Prof. Ivan Stojmenovic, for making this issue possible.
We encourage the reader to take also a look to the ISVML-2010 Proceedings to stay abreast with the latest developments in the field of multiple-valued logic. If the contents of this special issue inspire new ideas and further work, the main goals and intentions of the editors would have been achieved.
Francesc Esteva, Joan Gispert, and Felip Manyà