CE is not a conservative extension of E (Q1576386)

From MaRDI portal
scientific article
Language Label Description Also known as
English
CE is not a conservative extension of E
scientific article

    Statements

    CE is not a conservative extension of E (English)
    0 references
    0 references
    22 March 2001
    0 references
    The logic \({\mathbf {CE}}\) results from adding Boolean negation, \(\neg\), to the Anderson-Belnap logic \({\mathbf E}\) of entailment. Semantically, this is treated classically, so that \(\neg A\) is true at a point, or `possible world', iff \(A\) is not true at that point. Boolean negation contrasts with the de Morgan negation, \(\sim\), of \({\mathbf E}\) and other relevant logics, which requires a more complex semantical rule. As the title indicates, this paper demonstrates that \({\mathbf {CE}}\) is not a conservative extension of \({\mathbf E}\). The proof is based on the Routley-Meyer ternary relational semantics for relevant logics, wherein \({\mathbf {CE}}\) can be proved sound and complete, and to contain a formula in the vocabulary of \({\mathbf E}\) that is not provable in \({\mathbf E}\). The result is interesting since the addition of Boolean negation to the logic \({\mathbf R}\), which is stronger than \({\mathbf E}\), is conservative, and so is its addition to relevant logics weaker than \({\mathbf E}\).
    0 references
    relevant logic
    0 references
    relevance logic
    0 references
    modal logic
    0 references
    Boolean negation
    0 references
    entailment
    0 references

    Identifiers