Fibring of logics as a categorial construction (1999)

by A Sernadas, C Sernadas, C Caleiro
Venue:Journal of Logic and Computation