ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS (Q5100154)

From MaRDI portal
scientific article; zbMATH DE number 7577113
Language Label Description Also known as
English
ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS
scientific article; zbMATH DE number 7577113

    Statements

    ON NON-MONOTONOUS PROPERTIES OF SOME CLASSICAL AND NONCLASSICAL PROPOSITIONAL PROOF SYSTEMS (English)
    0 references
    0 references
    0 references
    29 August 2022
    0 references
    minimal tautology
    0 references
    Frege system
    0 references
    sequent system
    0 references
    natural deduction system
    0 references
    proof lines
    0 references
    proof sizes
    0 references
    monotonous and strongly monotonous system
    0 references

    Identifiers