On meet-combination of logics
From MaRDI portal
Publication:4902315
DOI10.1093/logcom/exr035zbMath1280.03034MaRDI QIDQ4902315
Amílcar Sernadas, João Rasga, Cristina Sernadas
Publication date: 14 January 2013
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exr035
03B62: Combined logics
Related Items
REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION, PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS, Conservative translations revisited, Categorical abstract algebraic logic: meet-combination of logical systems, An NP-complete fragment of fibring logic, An unexpected Boolean connective, Craig interpolation in the presence of unreliable connectives, Preservation of Craig interpolation by the product of matrix logics