Fibring of logics as a categorial construction (1999)

by Amílcar Sernadas , Cristina Sernadas , Carlos Caleiro
Venue:Journal of Logic and Computation
Citations:53 - 31 self