Fibring of logics as a categorial construction (1999)

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