Computational Aspects of Quasi-Classical Entailment (Q4443010)

From MaRDI portal
scientific article; zbMATH DE number 2024288
Language Label Description Also known as
English
Computational Aspects of Quasi-Classical Entailment
scientific article; zbMATH DE number 2024288

    Statements

    Computational Aspects of Quasi-Classical Entailment (English)
    0 references
    0 references
    0 references
    8 January 2004
    0 references
    paraconsistent logic
    0 references
    quasi-classical logic
    0 references
    reasoning under inconsistency
    0 references
    quasi-classical entailment
    0 references
    automated reasoning
    0 references
    tractable classes of formulas
    0 references

    Identifiers

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