Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication (Q4644516)

From MaRDI portal
scientific article; zbMATH DE number 6997911
Language Label Description Also known as
English
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication
scientific article; zbMATH DE number 6997911

    Statements

    Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication (English)
    0 references
    0 references
    8 January 2019
    0 references
    classical and intuitionistic propositional calculi
    0 references
    implicational calculus
    0 references
    finite axiomatization
    0 references
    tag system
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references