Natural Deduction for 'Generally' (Q5437004)
From MaRDI portal
scientific article; zbMATH DE number 5227994
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Natural Deduction for 'Generally' |
scientific article; zbMATH DE number 5227994 |
Statements
Natural Deduction for 'Generally' (English)
0 references
18 January 2008
0 references
logics of `generally'
0 references
natural deduction
0 references
normalization
0 references
generalized quantifiers
0 references
vague notions
0 references
