Meaning in Use (Q5213613)
From MaRDI portal
scientific article; zbMATH DE number 7162488
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Meaning in Use |
scientific article; zbMATH DE number 7162488 |
Statements
Meaning in Use (English)
0 references
4 February 2020
0 references
meaning explanation
0 references
inversion principles
0 references
general elimination rules
0 references
natural deduction
0 references
sequent calculus
0 references
labelled deduction.
0 references
0 references
