Logical matrices and the amalgamation property (Q800348): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Revision as of 02:15, 5 March 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
