Algebra, Logic and Topology

 

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

 
   

Members

Seminars

Events

Publications

 
 

details

Title
Combining logic systems: Why, how, what for?

Abstract
Motivated by applications in artificial intelligence and software engineering that require the joint use of different deduction formalisms, the interest in combination of logic systems has recently been growing, but the topic is also of interest on purely theoretical grounds. Several forms of combination have been studied, like product, fusion, temporalization, parameterization, synchronization and, more recently, fibring. In this guided tour of the issues raised by the combination of logics, we define fibring (the most general form of combination) in a very simple (yet useful) context, discuss some examples and establish some interesting transference results, namely preservation of strong completeness and nonpreservation of congruence. We end the tour with a brief reference to some open problems. The talk is based on a recent overview paper (together with C. Sernadas) available at http://www.cs.math.ist.utl.pt/ftp/pub/SernadasA/03-SS-fiblog22.pdf to appear in the CIM Bulletin.

Areas of interest
Logic and Computation

Speaker(s)
Amílcar Sernadas (Instituto Superior Técnico, Lisboa)

Date
February 17, 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