Algebraic Combination of Logics

PRAXIS XXI Project PCEX/P/MAT/46/96: Sep97-Nov99.

Final Report:

The action was aimed at the development of the categorial theory of the combination of logics.

Sites and key researchers

Main tasks

ACL Meetings

Some relevant papers at LCG

(look also at the repositories of papers at the other sites)

Last update: December 14, 1999.