From truth to computability. I. (Q2500484)

From MaRDI portal
scientific article
Language Label Description Also known as
English
From truth to computability. I.
scientific article

    Statements

    From truth to computability. I. (English)
    0 references
    0 references
    16 August 2006
    0 references
    computability logic
    0 references
    interactive computation
    0 references
    game semantics
    0 references
    linear logic
    0 references
    constructive logics
    0 references
    knowledge bases
    0 references

    Identifiers

    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