A weak form of interpolation in equational logic

DOI10.1007/s10469-008-0006-xzbMath1164.03319OpenAlexW1986941784MaRDI QIDQ3546111

Larisa L. Maksimova

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

zbMATH Keywords

weak interpolation propertyweak amalgamationvariety with congruence extension property

Mathematics Subject Classification ID

Congruence modularity, congruence distributivity (08B10) Interpolation, preservation, definability (03C40)

Related Items

Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ Interpolation properties in the extensions of the logic of inequality ⋮ Joint consistency in extensions of the minimal logic ⋮ The projective Beth property in well-composed logics ⋮ Simple weakly transitive modal algebras ⋮ The decidability of Craig's interpolation property in well-composed J-logics ⋮ Weak interpolation in extensions of the logics S4 and K4 ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ Interpolation and definability over the logic Gl ⋮ Interpolation and the projective Beth property in well-composed logics ⋮ Decidability of the weak interpolation property over the minimal logic ⋮ Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Restricted interpolation over modal logic S4