Logical matrices and the amalgamation property (Q800348)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Logical matrices and the amalgamation property |
scientific article; zbMATH DE number 3875234
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Logical matrices and the amalgamation property |
scientific article; zbMATH DE number 3875234 |
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
0.7939899563789368
0 references
0.7939899563789368
0 references
