What is an inference rule? (Q4032879)

From MaRDI portal
scientific article
Language Label Description Also known as
English
What is an inference rule?
scientific article

    Statements

    What is an inference rule? (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    1 April 1993
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    admissible rules
    0 references
    modal logic
    0 references
    derivable rules
    0 references
    validity
    0 references
    PSPACE- complete
    0 references
    EXPTIME-complete
    0 references
    admissibility
    0 references
    structure inference
    0 references
    0 references