Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (Q2011822)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators
scientific article

    Statements

    Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators (English)
    0 references
    0 references
    7 August 2017
    0 references
    many-valued logics
    0 references
    modal many-valued logics
    0 references
    Łukasiewicz many-valued logics
    0 references
    Łukasiewicz 4-valued modal logic
    0 references
    Brady's 4-valued logic
    0 references
    bilattice logics
    0 references
    Belnap-Dunn type bivalent semantics
    0 references

    Identifiers