The proof by cases property and its variants in structural consequence relations (Q368486)

From MaRDI portal
Revision as of 18:09, 20 June 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
The proof by cases property and its variants in structural consequence relations
scientific article

    Statements

    The proof by cases property and its variants in structural consequence relations (English)
    0 references
    0 references
    0 references
    23 September 2013
    0 references