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

• Instituto Superior Técnico - Logic and Computation Group
  • Amílcar Sernadas (Coordinator)
  • Cristina Sernadas
  • José Carmo

• Faculdade de Ciências e Tecnologia da Universidade de Coimbra - Category Theory Group
  • Manuela Sobral
  • Maria Manuel Clementino
  • Jorge Picado

• Faculdade de Ciências da Universidade de Lisboa
  • José Luiz Fiadeiro

Main tasks

• Categorial foundations
  • Theory of descent
  • Closure operators
  • Locales
  • Constructions for institutions

• Combination of logics and theories
  • Institutions
  • Fibring
  • Combinations as categorial constructions
  • Computability issues
  • Preservation of properties

• Applications
  • Modal and temporal logics
  • Concurrency models
  • Compositionality in parallel program design languages

ACL Meetings

• Joint ESCOLA/ACL Meeting, Coimbra, January 26-27, 1998
• Second ACL Meeting, Figueira da Foz, June 22-23, 1998
• Joint ACL/LOGCOMP Meeting, Coimbra, February 10-11, 1999

Some relevant papers at LCG

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

• Journal papers

• Serial papers

• Book chapters

• Conference papers

• Edited proceedings

• All (including submitted and in print papers)

Last update: December 14, 1999.