## Mechanization of Strong Kleene Logic for Partial Functions

• Even though it is not very often admitted, partial functions do play asignificant role in many practical applications of deduction systems. Kleenehas already given a semantic account of partial functions using three-valuedlogic decades ago, but there has not been a satisfactory mechanization. Recentyears have seen a thorough investigation of the framework of many-valuedtruth-functional logics. However, strong Kleene logic, where quantificationis restricted and therefore not truth-functional, does not fit the frameworkdirectly. We solve this problem by applying recent methods from sorted logics.This paper presents a resolution calculus that combines the proper treatmentof partial functions with the efficiency of sorted calculi.

### Additional Services

Author: Manfred Kerber, Michael Kohlhase urn:nbn:de:hbz:386-kluedo-3309 SEKI Report (93,20) Preprint English 1999 1999 Technische Universität Kaiserslautern 2000/04/03 Partial functions ; many-valued logic ; order-sorted logic ; resolution Fachbereich Informatik 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011

$Rev: 13581$