Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics (Q4583342)

From MaRDI portal
scientific article; zbMATH DE number 6928239
Language Label Description Also known as
English
Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics
scientific article; zbMATH DE number 6928239

    Statements

    Paraconsistency, paracompleteness, Gentzen systems, and trivalent semantics (English)
    0 references
    0 references
    28 August 2018
    0 references
    Gentzen-type systems
    0 references
    cut-admissibility
    0 references
    three-valued semantics
    0 references
    non-deterministic semantics
    0 references
    paraconsistent logics
    0 references
    paracomplete logics
    0 references

    Identifiers