Algebra, Logic and Topology

 

Latest News
The web page of CMUC moved to http://cmuc.mat.uc.pt

 
   

Members

Seminars

Events

Publications

 
 

details

Title
Applicative Theories and their Applications

Abstract
Applicative Theories are the first order part of Feferman's systems of Explicit Mathematics. They comprise type-free combinatory logic and axiomatized natural numbers. In contrast to usual logic frameworks, the underlying logic is partial, i.e., there is a special existence predicate which can be used to express non-termination of computations. It has turned out that Applicative Theories provide a very elegant and uniform framework for axiomatic systems which are useful in Proof Theory, Complexity Theory and Computer Science. In our talk we will give an introduction to Applicative Theories and their main features and applications.

Speaker(s)
Reinhard Kahle (Universidade de Coimbra)

Date
April 27, 2004

Time
14.30

Room
5.5

 
     
 

CMUC
Apartado 3008,
3001 - 454 Coimbra, Portugal
T:+351 239 791 150
F:+351 239 793 069
cmuc@mat.uc.pt
-
developed by Flor de Utopia