| 書目名稱 | Foundations of the Formal Sciences II |
| 副標(biāo)題 | Applications of Math |
| 編輯 | Benedikt L?we,Wolfgang Malzkom,Thoralf R?sch |
| 視頻video | http://file.papertrans.cn/348/347207/347207.mp4 |
| 概述 | Includes supplementary material: |
| 叢書名稱 | Trends in Logic |
| 圖書封面 |  |
| 描述 | ."Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main goal is to reestablish the traditionally strong links between these areas of research that have been lost in the past decades...The second conference in the series had the subtitle "Applications of Mathematical Logic in Philosophy and Linguistics" and brought speakers from all parts of the Formal Sciences together to give a holistic view of how mathematical methods can improve our philosophical and technical understanding of language and scientific discourse, ranging from the theoretical level up to applications in language recognition software...Audience:. This volume is of interest to all formal philosophers and theoretical linguists. In addition to that, logicians interested in the applications of their field and logic students in mathematics, computer science, philosophy and linguistics can use the volume to broaden their knowledge of applications of logic. . |
| 出版日期 | Book 2003 |
| 關(guān)鍵詞 | language; logic; predicate logic; science; semantics |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-94-017-0395-6 |
| isbn_softcover | 978-90-481-6233-8 |
| isbn_ebook | 978-94-017-0395-6Series ISSN 1572-6126 Series E-ISSN 2212-7313 |
| issn_series | 1572-6126 |
| copyright | Springer Science+Business Media B.V. 2003 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 01:39
發(fā)表于 2025-3-21 18:50:53
