1 research outputs found

    New sequent calculi for Visser's Formal Propositional Logic

    No full text
    corecore