| 书目名称 | Quantifiers: Logics, Models and Computation | | 副标题 | Volume Two: Contribu | | 编辑 | Michał Krynicki,Marcin Mostowski,Lesław W. Szczerb | | 视频video | | | 丛书名称 | Synthese Library | | 图书封面 |  | | 描述 | This volume contains a collection of research papers centered around the concept of quantifier. Recently this concept has become the central point of research in logic. It is one of the important logical concepts whose exact domain and applications have so far been insufficiently explored, especially in the area of inferential and semantic properties of languages. It should thus remain the central point of research in the future. Moreover, during the last twenty years generalized quantifiers and logical technics based on them have proved their utility in various applications. The example of natu rallanguage semantics has been partcularly striking. For a long time it has been belived that elementary logic also called first-order logic was an ade quate theory of logical forms of natural language sentences. Recently it has been accepted that semantics of many natural language constructions can not be properly represented in elementary logic. It has turned out, however, that they can be described by means of generalized quantifiers. As far as computational applications oflogic are concerned, particulary interesting are semantics restricted to finite models. Under this restriction el | | 出版日期 | Book 1995 | | 关键词 | Index; Symbol; logic; proof; quantifiers; semantic; semantics | | 版次 | 1 | | doi | https://doi.org/10.1007/978-94-017-0524-0 | | isbn_softcover | 978-90-481-4540-9 | | isbn_ebook | 978-94-017-0524-0Series ISSN 0166-6991 Series E-ISSN 2542-8292 | | issn_series | 0166-6991 | | copyright | Springer Science+Business Media B.V. 1995 |
The information of publication is updating
书目名称Quantifiers: Logics, Models and Computation影响因子(影响力)
书目名称Quantifiers: Logics, Models and Computation影响因子(影响力)学科排名
书目名称Quantifiers: Logics, Models and Computation网络公开度
书目名称Quantifiers: Logics, Models and Computation网络公开度学科排名
书目名称Quantifiers: Logics, Models and Computation被引频次
书目名称Quantifiers: Logics, Models and Computation被引频次学科排名
书目名称Quantifiers: Logics, Models and Computation年度引用
书目名称Quantifiers: Logics, Models and Computation年度引用学科排名
书目名称Quantifiers: Logics, Models and Computation读者反馈
书目名称Quantifiers: Logics, Models and Computation读者反馈学科排名
|
|
|
发表于 2025-3-21 18:05:55
