A Precise Definition of an Inference (by the Example of Natural Deduction Systems for Logics $I_{\langle \alpha,\beta \rangle}$ (Q5365403)

From MaRDI portal
scientific article; zbMATH DE number 6787609
Language Label Description Also known as
English
A Precise Definition of an Inference (by the Example of Natural Deduction Systems for Logics $I_{\langle \alpha,\beta \rangle}$
scientific article; zbMATH DE number 6787609

    Statements

    A Precise Definition of an Inference (by the Example of Natural Deduction Systems for Logics $I_{\langle \alpha,\beta \rangle}$ (English)
    0 references
    6 October 2017
    0 references
    precise definition of inference
    0 references
    indirect rule
    0 references
    implication introduction rule
    0 references
    natural deduction
    0 references
    quasi-elemental formula
    0 references
    subordinated sequence
    0 references

    Identifiers