🚀 go-pugleaf

Keywords: 

Lecture Series ``Collegium Logicum''
Kurt Goedel Society
University of Technology, Vienna, Austria


Lecture Announcement
--------------------

Michael Kohlhase
================
Universitaet des Saarlandes, Saarbruecken

		
A Mechanization of Strong Kleene Logic for Partial Functions
------------------------------------------------------------
Monday, December 5, 1994, 16:45


ABSTRACT:

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

PLACE:

Seminarraum SEM 181A, Institut fuer Informationssysteme,
Paniglgasse 16, 1. Stock, 1040 Wien.

------------------------
Kurt-Goedel-Gesellschaft
Technische Universitaet Wien
Institut fuer Computersprachen E185.2
Resselgasse 3/1, A-1040 Wien

Tel: (+43 1) 588 01/4088
Fax: (+43 1) 504 15 89
email: kgs@logic.tuwien.ac.at

Mit Unterstuetzung des
Bundesministeriums fuer Wissenschaft und Forschung