Logics based on linear orders of contaminating values (Q5213389)

From MaRDI portal
scientific article; zbMATH DE number 7161963
Language Label Description Also known as
English
Logics based on linear orders of contaminating values
scientific article; zbMATH DE number 7161963

    Statements

    Logics based on linear orders of contaminating values (English)
    0 references
    0 references
    0 references
    3 February 2020
    0 references
    four-valued logic
    0 references
    sequent calculi
    0 references
    three-valued logic
    0 references
    computation errors
    0 references

    Identifiers

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