Normalisation for Some Quite Interesting Many-Valued Logics (Q5013635)

From MaRDI portal
scientific article; zbMATH DE number 7437992
Language Label Description Also known as
English
Normalisation for Some Quite Interesting Many-Valued Logics
scientific article; zbMATH DE number 7437992

    Statements

    Normalisation for Some Quite Interesting Many-Valued Logics (English)
    0 references
    0 references
    0 references
    0 references
    2 December 2021
    0 references
    0 references
    natural deduction
    0 references
    normalisation
    0 references
    three-valued logic
    0 references
    four-valued logic
    0 references
    logic of paradox
    0 references
    Nelson logic
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references