Non-deterministic semantics for logics with a consistency operator (Q997049)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Non-deterministic semantics for logics with a consistency operator
scientific article

    Statements

    Non-deterministic semantics for logics with a consistency operator (English)
    0 references
    0 references
    19 July 2007
    0 references
    paraconsistent logics
    0 references
    logics of formal (in)consistency
    0 references
    non-deterministic semantics
    0 references
    decision procedures
    0 references
    proof-theoretical properties
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers