On meet-combination of logics

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

zbMATH Keywords

combined logicscombined connectives

Mathematics Subject Classification ID

Combined logics (03B62)

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