On the Duality of Proofs and Countermodels in Labelled Sequent Calculi (Q2851928)

From MaRDI portal
Revision as of 15:50, 21 August 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
On the Duality of Proofs and Countermodels in Labelled Sequent Calculi
scientific article

    Statements

    On the Duality of Proofs and Countermodels in Labelled Sequent Calculi (English)
    0 references
    0 references
    4 October 2013
    0 references

    Identifiers