🚀 go-pugleaf

                                PH.D. STUDENT TALKS

                University at Albany - State University of New York

                            Computer Science Department

                                   Dirk Hoffmann

             Wednesday, December 3, 1997, at 1:25p.m.**** in BA-214****

                          Deduction in Multi-Valued Logics

                                      Abstract

                 Multi-valued  Logics  have  various   applications   in
            mathematics,  formal specifications, deduction databases and
            hardware verification, to mention just a few.

                 Until the late 1980s researchers mostly paid  attention
            to theoretical issues such as expressivity or axiomatizabil-
            ity.  In recent years, considerable effort has been put into
            the development of efficient deduction calculi for reasoning
            in various multi-valued logics.

                 This talk gives a brief introduction into the theory of
            multi-valued  (propositional)  logics and it also introduces
            notation of signed formulas. Since the logic of signed  for-
            mulas is general enough to express several multi-valued log-
            ics, including annotated logic and fuzzy  logic,  and  since
            (on  the other hand) most classical deduction calculi can be
            easily adopted, signed formulas provide a general  framework
            for  reasoning  in multi-valued logics.  As a special infer-
            ence technique,  signed  resolution  is  discussed  in  more
            detail.