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