No label defined (Q4894942)

From MaRDI portal
scientific article; zbMATH DE number 932649
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 932649

    Statements

    8 October 1996
    0 references
    labelled analytic deduction
    0 references
    labelled deductive system
    0 references
    logical system
    0 references
    consequence relation
    0 references
    algorithmic proof system
    0 references
    nonmonotonic logics
    0 references
    interactive practical reasoning systems
    0 references
    fibred semantics
    0 references
    modal logic
    0 references
    resource logics
    0 references
    linear logic
    0 references
    relevance logic
    0 references
    prioritised logics
    0 references
    first-order classical logic
    0 references
    Hilbert type systems
    0 references
    Gentzen type systems
    0 references
    tableaux systems
    0 references
    algebraic semantics
    0 references
    algebra of labels
    0 references
    Curry-Howard interpretation
    0 references
    structured consequence relation
    0 references
    abduction
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references