Germany: Dagstuhl, 1997. — 29 p. English.[Dagstuhl-Seminar-Report (Seminar 9744) 27.10.—31.10.1997].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.
Automated deduction: theory and tools.
Modelling and reasoning with incomplete and uncertain knowledge.
Applications.Abstracts of the Talks.
In the order in which the talks were given.
Walter Carnielli – Non-deterministic Semantics.
Matthias Baaz – Analytic Calculi for Many-valued Logics.
Hiroakira Ono – Many-valued Logics as Logics without the Contraction Rule.
Reiner Hahnle – Proof Theory of Many-valued Logic and Hardware Design.
Gonzalo Escalada-Imaz – Determining the Truth Degree in Real Time Settings.
Peter Vojtas – Many-valued Logic Programming and Abduction.
Rasim Egri – A New Fuzzy Approach to Unit Commitment in Power Systems.
Hans Jurgen Ohlbach – How to Augment a Logical System with a Boolean Algebra Component.
Christian Fermuller – Finite-valued Logics and Classical Proof Theory.
Agata Ciabattoni – Cut-free Proof Systems for Logics of Weak Excluded Middle.
Ewa Orlowska – Many-valued Substitutivity Principles.
Felip Manya – Solving the SAT-problem in Regular CNF-formulas.
Siegfried Weber – Conditional Objects Based on MV-algebras.
Ulrich Hohle – Singletons and Fuzzy Partitions.
Antonio Di Nola – One Chain Generated Varieties of MV-algebras.
Zbigniew Stachniak – From Inferentially and Referentially Finitely-valued Systems to Resolution.
Dirk Van Heule and Albert Hoogewijs – The Partial Predicate Calculus. A Three-valued Object Logic for the Theorem Prover Isabelle.
Erik Rosenthal – A Linear Resolution Rule for Annotated Logics.
Petr Hajek – Takeuti-Titani Logic Revisited.
Marc Roubens – Some Basic Fuzzy Set Algebraic Operations Revisted.
Bernard de Baets – Residuation in Fuzzy Set Theory.
Radko Mesiar – Universal Operations in Fuzzy Logic.
Jeffrey Paris – Semantics for Fuzzy Logic.
Patrik Eklund – What is the Role of Logic in Biomedical Engineering?
Esko Turunen – BL-algebras of Basic Fuzzy Logic.
Costas A. Drossos – Non-standard Methods in Many-valued Logics.
Luisa Iturrioz – Non-functionally Complete n-Valued Systems Semantically Based on Posets.
Teresa Alsinet Bernado – Fuzzy Unification.
Didier Dubois – Fuzzy Logic = Many-valuedness + Partial Belief.
Elena Tsiporkova – Possibility Theory in Modal Logic.
Stephan Lehmke – A Comparison of Particular Logics of Graded Incomplete Truth and Graded Incomplete Knowledge.
Brunella Gerla – The Ulam Game and MV-entropy.
Stefano Aguzzoli – McNaughton Functions of One Variable for Automated Deduction in Lukasiewicz Logics.
Manuel Ojeda Aciego – The TAS Reduction Method in MVL: A TAS Theorem Prover for Three-valued Logic.
Neil Murray – Parameterized Prime Implicant/Implicate Computations for Regular Logics.
