1 research outputs found

    Completeness theorems for two propositional logics in which identity diverges from mutual entailment.

    No full text
    corecore