BibTeX
@MISC{Sernadas12preservationof,
author = {C. Sernadas and J. Rasga and A. Sernadas},
title = {Preservation of Craig interpolation},
year = {2012}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
by the product of matrix logics
