𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Language and proof theory

✍ Scribed by Dov Gabbay; Ruth Kempson


Publisher
Springer Netherlands
Year
1996
Tongue
English
Weight
321 KB
Volume
5
Category
Article
ISSN
0925-8531

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Proof theory and set theory
✍ Gaisi Takeuti πŸ“‚ Article πŸ“… 1985 πŸ› Springer Netherlands 🌐 English βš– 452 KB
A Proof Dedicated Meta-Language
✍ David Delahaye πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 174 KB
Proof theory and complexity
✍ Carlo Cellucci πŸ“‚ Article πŸ“… 1985 πŸ› Springer Netherlands 🌐 English βš– 600 KB
Language Evolution and Information Theor
✍ JOSHUA B PLOTKIN; MARTIN A NOWAK πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 186 KB

This paper places models of language evolution within the framework of information theory. We study how signals become associated with meaning. If there is a probability of mistaking signals for each other, then evolution leads to an error limit: increasing the number of signals does not increase th