Quantifiers: Logics, Models and Computation : Volume Two: Contributions /
The quantifier concept is central to current logical investigations. Quantifiers: Logics, Models and Computation. Volume Two: Contributions contains twelve research papers devoted to generalized quantifiers and their applications. It offers an exhaustive survey of logical methods that are useful in...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands,
1995.
|
| Series: | Synthese library ;
249. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | The quantifier concept is central to current logical investigations. Quantifiers: Logics, Models and Computation. Volume Two: Contributions contains twelve research papers devoted to generalized quantifiers and their applications. It offers an exhaustive survey of logical methods that are useful in investigations involving generalized quantifiers. Both model-theoretical and proof-theoretical approaches are well represented. Moreover, some papers focus on the applications of logical theory, particularly in relation to semantics of natural language. The volume includes a wide-ranging survey of logical methods which are useful in investigations into generalized quantifiers. The book is the second volume of a large collection. The first volume - Quantifiers: Logics, Models and Computation. Volume One: Surveys - contains a collection of survey papers on selected, well-defined areas organized around the quantifier concept. Volumes One and Two are complementary. For logicians, mathematicians, philosophers, linguists and computer scientists. Also suitable as a text for advanced undergraduate or graduate specialized courses in logic. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (ix, 278 pages) |
| ISBN: | 9789401705240 (electronic bk.) 9401705240 (electronic bk.) |