ACL: 
Algebraic Combination of Logics

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

Final Report: aclFinalRep.ps.

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.