The intensional side of algebraic-topological representation theorems (Q2695032)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The intensional side of algebraic-topological representation theorems
scientific article

    Statements

    The intensional side of algebraic-topological representation theorems (English)
    0 references
    0 references
    0 references
    30 March 2023
    0 references
    Stone representation
    0 references
    logical embeddings
    0 references
    philosophical logics
    0 references
    intermediate logics
    0 references
    subintuitionistic logics
    0 references
    modal companions
    0 references
    word problems
    0 references
    cut elimination
    0 references
    pointfree topology
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references