Interpolation and amalgamation; pushing the limits. I (Q1580645)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interpolation and amalgamation; pushing the limits. I |
scientific article |
Statements
Interpolation and amalgamation; pushing the limits. I (English)
0 references
19 June 2001
0 references
amalgamation property
0 references
Boolean algebras with operators
0 references
Craig interpolation property
0 references
superamalgamation property
0 references
algebraizable logics
0 references
Boolean fragment
0 references
local deduction property
0 references
discriminator varieties
0 references
multi-modal logics
0 references
