Rasga, J.; Sernadas, A.; Sernadas, C. Fibring as biporting subsumes asymmetric combinations. (English) Zbl 1344.03031 Stud. Log. 102, No. 5, 1041-1074 (2014). MSC: 03B62 03B44 03B45 PDFBibTeX XMLCite \textit{J. Rasga} et al., Stud. Log. 102, No. 5, 1041--1074 (2014; Zbl 1344.03031) Full Text: DOI
Rasga, J.; Sernadas, A.; Sernadas, C. Importing logics: soundness and completeness preservation. (English) Zbl 1345.03052 Stud. Log. 101, No. 1, 117-155 (2013). MSC: 03B62 03B44 03B45 PDFBibTeX XMLCite \textit{J. Rasga} et al., Stud. Log. 101, No. 1, 117--155 (2013; Zbl 1345.03052) Full Text: DOI
Rasga, João; Sernadas, Amílcar; Sernadas, Cristina Importing logics. (English) Zbl 1280.03033 Stud. Log. 100, No. 3, 545-581 (2012). MSC: 03B62 PDFBibTeX XMLCite \textit{J. Rasga} et al., Stud. Log. 100, No. 3, 545--581 (2012; Zbl 1280.03033) Full Text: DOI
Sernadas, Amílcar; Sernadas, Cristina; Caleiro, Carlos Synchronization of logics. (English) Zbl 0882.03008 Stud. Log. 59, No. 2, 217-247 (1997). MSC: 03B22 03B70 03G30 PDFBibTeX XMLCite \textit{A. Sernadas} et al., Stud. Log. 59, No. 2, 217--247 (1997; Zbl 0882.03008) Full Text: DOI