27. – 31. Oktober 1997, Dagstuhl Seminar 9744

Multiple Valued Logic


D. Mundici (Milano), P. Schmitt (Karlsruhe), L. Zadeh (Berkeley)

Auskunft zu diesem Dagstuhl Seminar erteilt

Dagstuhl Service Team


Dagstuhl's Impact: Dokumente verfügbar
Externe Homepage
Dagstuhl-Seminar-Report 194

Results of Seminar 9744
Multiple Valued Logic
October 27-31, 1997
Schloss Dagstuhl, Wadern, Germany

This Dagstuhl Seminar brought together approximately 60 researchers covering the full spectrum of the current research on many-valued logics, ranging from mathematical foundations to computational issues and applications. Several young researchers could attend this meeting, and have fruitful interactions with more established researchers from Japan, South and North America, and from an exceptionally large number of European countries. Their contributions may be classified under the following four headings.

Enhancement of the theoretical basis: Despite its long tradition, work on foundational issues in many-valued logics still spawns new and thrilling problems and results. The rich and intriguing properties of the algebraic counterparts of many-valued logic should be firstly mentioned in this context. This algebraic perspective was strongly represented in this seminar. In the same spirit, albeit in a different setting, several talks dealt with fuzzy set theory, and their relations with rule based control.

Automated deduction - theory and tools: As a focal point in this field one must also mention the current research on complete and sound proof systems -- in particular for infinitely-valued logics. Two notable examples are given by Lukasiewicz logic and by product logic. As amply discussed during the Dagstuhl seminar, the calculi corresponding to these logics require far reaching generalisations of the classical techniques arising from Hilbert-style systems, Gentzen systems and resolution. A recurring theme in this field is the use of formulas with regular sets of signs.

Modelling of and reasoning on incomplete and uncertain knowledge: Many-valued calculi are often encountered, for instance, in possibility theory and possibilistic logic. They provide a natural framework for manipulating orderings between various interpretations. They also find use in clarifying many entrenched situations in non-monotonic reasoning. In this context we should also mention such topics as the logical manipulation of uncertainty factors, which were the main concern of a number of talks in the Dagstuhl meeting.

Applications: Applications of many-valued logics -- both in the infinitely-valued and in the finitely-valued case – are an important source of motivation for future research. During this seminar important talks focused on applications in hardware design and verification, unit commitment in power systems, and in biomedical engineering.

This Seminar was also a workshop/conference in the COST~Action~\#15 on "Many-valued Logics for Computer Science Applications'', the only existing European Action on Computer Science issues. One of the objectives of this Action was the dissemination of knowledge accumulated and produced within the project to the world wide scientific community the COST action itself.

This objective has been very successfully accomplished with this Dagstuhl seminar.


Bücher der Teilnehmer 

Buchausstellung im Erdgeschoss der Bibliothek

(nur in der Veranstaltungswoche).


In der Reihe Dagstuhl Reports werden alle Dagstuhl-Seminare und Dagstuhl-Perspektiven-Workshops dokumentiert. Die Organisatoren stellen zusammen mit dem Collector des Seminars einen Bericht zusammen, der die Beiträge der Autoren zusammenfasst und um eine Zusammenfassung ergänzt.


Download Übersichtsflyer (PDF).


Es besteht weiterhin die Möglichkeit, eine umfassende Kollektion begutachteter Arbeiten in der Reihe Dagstuhl Follow-Ups zu publizieren.

Dagstuhl's Impact

Bitte informieren Sie uns, wenn eine Veröffentlichung ausgehend von
Ihrem Seminar entsteht. Derartige Veröffentlichungen werden von uns in der Rubrik Dagstuhl's Impact separat aufgelistet  und im Erdgeschoss der Bibliothek präsentiert.