Logical matrices and the amalgamation property (Q800348): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q750424 |
||
| Property / reviewed by | |||
| Property / reviewed by: Q800347 / rank | |||
Revision as of 17:20, 20 February 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logical matrices and the amalgamation property |
scientific article |
Statements
Logical matrices and the amalgamation property (English)
0 references
1982
0 references
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.
0 references
interpolation
0 references
amalgamation
0 references
sentential logics
0 references
intermediate logics
0 references
modal logics
0 references
