Preservation of Craig interpolation by the product of matrix logics
Sernadas, C., Rasga, J., Sernadas, A.Volume:
11
Language:
english
Journal:
Journal of Applied Logic
DOI:
10.1016/j.jal.2013.06.001
Date:
September, 2013
File:
PDF, 379 KB
english, 2013