Ticket Entailment plus the mingle axiom has the variable-sharing property (Q2903766)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Ticket Entailment plus the mingle axiom has the variable-sharing property
scientific article

    Statements

    Ticket Entailment plus the mingle axiom has the variable-sharing property (English)
    0 references
    1 August 2012
    0 references
    ticket entailment logic
    0 references
    mingle axiom
    0 references
    variable-sharing property
    0 references
    ternary relational semantics
    0 references
    relevant logic
    0 references

    Identifiers