## A Tableau Calculus for Partial Functions

• Even though it is not very often admitted, partial functionsdo play a significant role in many practical applications of deduction sys-tems. Kleene has already given a semantic account of partial functionsusing a three-valued logic decades ago, but there has not been a satisfact-ory mechanization. Recent years have seen a thorough investigation ofthe framework of many-valued truth-functional logics. However, strongKleene logic, where quantification is restricted and therefore not truth-functional, does not fit the framework directly. We solve this problemby applying recent methods from sorted logics. This paper presents atableau calculus that combines the proper treatment of partial functionswith the efficiency of sorted calculi.

### Weitere Dienste

Verfasserangaben: Michael Kohlhase, Manfred Kerber urn:nbn:de:hbz:386-kluedo-2360 Wissenschaftlicher Artikel Englisch 1999 1999 Technische Universität Kaiserslautern 03.04.2000 Partial functions ; many-valued logic ; sorted logic ; tableau Fachbereich Informatik 0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik Standard gemäß KLUEDO-Leitlinien vor dem 27.05.2011

$Rev: 13581$