No label defined (Q3819043)

From MaRDI portal





scientific article
Language Label Description Also known as
English
No label defined
scientific article

    Statements

    1988
    0 references
    non-standard Gentzen system for classical propositional calculus
    0 references
    paraconsistent logics
    0 references
    dilution
    0 references

    Identifiers