A weak form of interpolation in equational logic
From MaRDI portal
Publication:3546111
DOI10.1007/s10469-008-0006-xzbMath1164.03319MaRDI QIDQ3546111
Publication date: 18 December 2008
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-008-0006-x
08B10: Congruence modularity, congruence distributivity
03C40: Interpolation, preservation, definability