From bi-facial truth to bi-facial proofs (Q2350970)

From MaRDI portal
scientific article
Language Label Description Also known as
English
From bi-facial truth to bi-facial proofs
scientific article

    Statements

    From bi-facial truth to bi-facial proofs (English)
    0 references
    0 references
    0 references
    26 June 2015
    0 references
    four-valued logic
    0 references
    bifacial logic
    0 references
    analytic tableaux
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

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