Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras (Q1150603): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 04:20, 31 January 2024

scientific article
Language Label Description Also known as
English
Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras
scientific article

    Statements

    Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras (English)
    0 references
    1980
    0 references
    amalgamation
    0 references
    super-amalgamation
    0 references
    Craig's interpolation theorem
    0 references
    normal extensions of S4
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references