Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (Q920971)

From MaRDI portal
Revision as of 10:21, 21 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus
scientific article

    Statements

    Problems of substitution and admissibility in the modal system Grz and in intuitionistic propositional calculus (English)
    0 references
    1990
    0 references
    modal logic
    0 references
    admissibility of rules of inference
    0 references
    solvability of the substitution problem
    0 references
    intuitionistic logic
    0 references
    free modal algebra
    0 references
    modal system Grz
    0 references
    intuitionistic calculus H
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers