If structured propositions are logical procedures then how are procedures individuated? (Q2052189)

From MaRDI portal
scientific article
Language Label Description Also known as
English
If structured propositions are logical procedures then how are procedures individuated?
scientific article

    Statements

    If structured propositions are logical procedures then how are procedures individuated? (English)
    0 references
    0 references
    25 November 2021
    0 references
    procedural semantics
    0 references
    transparent intensional logic
    0 references
    structured propositions
    0 references
    mereology of structured procedures
    0 references
    unity of propositions
    0 references
    synonymy
    0 references
    co-hyperintensionality
    0 references
    procedural isomorphism
    0 references
    0 references

    Identifiers