Structure by proxy, with an application to grounding (Q2695390)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Structure by proxy, with an application to grounding
scientific article

    Statements

    Structure by proxy, with an application to grounding (English)
    0 references
    0 references
    0 references
    31 March 2023
    0 references
    structured propositions
    0 references
    Russell-Myhill
    0 references
    grounding
    0 references
    higher-order logic
    0 references
    type theory
    0 references

    Identifiers

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