Natural deduction rules for English
β
Frederic B. Fitch
π
Article
π
1973
π
Springer Netherlands
π
English
β 751 KB
A system of natural deduction rules is proposed for an idealized form of English. The rules presuppose a sharp distinction between proper names and such expressions as 'the c', 'a (an) c', 'some c', 'any c', and 'every e', where 'c' represents a common noun. These latter expressions are called quant