Dec 5: Michael Kohlhase: Mechanization of Strong Kleene Logic for Partial Functions

Thread View: sci.logic

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Helmut Veith Fri, 02 Dec 1994 16:10

#705

Author: Helmut Veith
Date: Fri, 02 Dec 1994 16:10

51 lines
2611 bytes

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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads