N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic (Q263105)

From MaRDI portal
scientific article
Language Label Description Also known as
English
N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
scientific article

    Statements

    N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic (English)
    0 references
    0 references
    0 references
    4 April 2016
    0 references
    The author studied many-valued mathematical structures which fit to model some ideas of the both variants of Vasil'ev's logic: the logic with the law of excluded \(n\)-th and its paraconsistent modification.
    0 references
    Vasil'ev logic
    0 references
    many-valued logic
    0 references
    paraconsistent logic
    0 references
    linear logic
    0 references
    proof theory
    0 references
    categorical semantics
    0 references

    Identifiers

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