Logical matrices and the amalgamation property (Q800348): Difference between revisions

The paper generalizes the results of \textit{L. L. Maksimova} [Algebra Logika 16, 643-681 (1977; Zbl 0403.03047) and ibid. 18, 556-586 (1979; Zbl 0436.03011)] and \textit{D. Pigozzi} [Algebra Univers. 1, 269-349 (1972; Zbl 0236.02047)]. Namely, equivalence is established of the interpolation and amalgamation properties for a wide class of sentential logics, including e.g. intermediate logics, certain modal logics etc.