| 書目名稱 | Procedural Semantics for Hyperintensional Logic | | 副標(biāo)題 | Foundations and Appl | | 編輯 | Marie Du?í,Bjorn Jespersen,Pavel Materna | | 視頻video | http://file.papertrans.cn/758/757356/757356.mp4 | | 概述 | 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 Tichy. 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 Tichy 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 Tichy. We have also made a point of flagg | | 出版日期 | Book 2010 | | 關(guān)鍵詞 | 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
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-11 01:08
發(fā)表于 2025-3-21 16:13:37
