Relevance-Sensitive Truth-Trees (Q5027231)

From MaRDI portal
scientific article; zbMATH DE number 7469205
Language Label Description Also known as
English
Relevance-Sensitive Truth-Trees
scientific article; zbMATH DE number 7469205

    Statements

    Relevance-Sensitive Truth-Trees (English)
    0 references
    0 references
    4 February 2022
    0 references
    relevance-sensitivity
    0 references
    relevance logic
    0 references
    truth-trees
    0 references
    decomposition trees
    0 references
    semantic tableaux
    0 references
    explosion
    0 references
    variable-sharing
    0 references
    parity
    0 references
    natural deduction
    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

    Identifiers