On meet-combination of logics
From MaRDI portal
Publication:4902315
DOI10.1093/logcom/exr035zbMath1280.03034OpenAlexW2110279188MaRDI 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
Related Items (8)
Categorical abstract algebraic logic: meet-combination of logical systems ⋮ An unexpected Boolean connective ⋮ Conservative translations revisited ⋮ An NP-complete fragment of fibring logic ⋮ Preservation of Craig interpolation by the product of matrix logics ⋮ Craig interpolation in the presence of unreliable connectives ⋮ PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS ⋮ REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
This page was built for publication: On meet-combination of logics
