| 书目名称 | Procedural Semantics for Hyperintensional Logic | | 副标题 | Foundations and Appl | | 编辑 | Marie Duží,Bjorn Jespersen,Pavel Materna | | 视频video | | | 概述 | provides a much-needed comprehensible, elaborate and systematic exposition of the foundations of Transparent Intensional Logic.demonstrates how Transparent Intensional Logic lends itself to a broad ra | | 丛书名称 | Logic, Epistemology, and the Unity of Science | | 图书封面 |  | | 描述 | This book is about Transparent Intensional Logic, the brainchild of Pavel Tichý. Three books and around 100 papers on Transparent Intensional Logic have till now seen the light of day since the mid-1960s. So why a book of more than 500 pages now? For two reasons. Firstly, Transparent Intensional Logic is a theory without something like a textbook. Now this is not an actual textbook, if a textbook is a patient introduction garnished with exercises and solutions; nor is it a teach-yourself-in-a-week manual for the uninitiated-but-curious. But we, the three authors, have striven to write an accessible one-stop survey of Transparent Intensional Logic that may be read by advanced students of logic, semantics, linguistics, informatics, computer science, and kindred disciplines. Secondly, logical semantics is a field progressing by leaps and bounds, and much has happened since Tichý put out his first and only book in 1988. We thought it was about time for us to assemble in one place the most important - tensions, improvements and applications stemming from the last several years that address issues not dealt with either at all or only cursorily by Tichý. We have also made a point of flagg | | 出版日期 | Book 2010 | | 关键词 | Artificial Intelligence; Computer Science; Hyperi; Hyperintensional Logic; Information; Linguistic meanin | | 版次 | 1 | | doi | https://doi.org/10.1007/978-90-481-8812-3 | | isbn_softcover | 978-94-007-3278-0 | | isbn_ebook | 978-90-481-8812-3Series ISSN 2214-9775 Series E-ISSN 2214-9783 | | issn_series | 2214-9775 | | copyright | Springer Science+Business Media B.V. 2010 |
The information of publication is updating
|
|
发表于 2025-3-21 16:13:37
