On Sets of Premises (Q5221850)

From MaRDI portal
scientific article; zbMATH DE number 7185545
Language Label Description Also known as
English
On Sets of Premises
scientific article; zbMATH DE number 7185545

    Statements

    On Sets of Premises (English)
    0 references
    0 references
    3 April 2020
    0 references
    sequent
    0 references
    deduction
    0 references
    identity of deductions
    0 references
    contraction
    0 references
    isomorphism of formulae
    0 references
    categories
    0 references
    adjunction
    0 references
    diagonal functor
    0 references
    product
    0 references
    conjunction
    0 references

    Identifiers