書目名稱 | Logic, Language and Computation | 編輯 | Seiki Akama | 視頻video | http://file.papertrans.cn/589/588043/588043.mp4 | 叢書名稱 | Applied Logic Series | 圖書封面 |  | 描述 | The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation. One very striking feature of the application of logic to language and to computation is that it requires the combination, the integration and the use of many diverse systems and methodologies - all in the same single application. The papers in this volume will give the reader a glimpse into the problems of this active frontier of logic. The Editors CONTENTS Preface IX 1. S. AKAMA Recent Issues in Logic, Language and Computation 1 2. M. J. CRESSWELL Restricted Quantification 27 3. B. H. SLATER The Epsilon Calculus‘ Problematic 39 4. K. VON HEUSINGER Definite Descriptions and Choice Functions 61 5. N. ASHER Spatio-Temporal Structure in Text 93 6. Y. NAKAYAMA DRT and Many-Valued Logics 131 7. S. AKAMA On Constructive Modality 143 8. H. W ANSING Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logics 159 9. L. FARINAS DEL CERRO AND V. LUGARDON 179 Quantification and Dependence Logics 10. R. SYLVAN Relevant Conditionals, and Relevant Application Thereof 191 Index 245 Preface This is a collection of papers | 出版日期 | Book 1997 | 關鍵詞 | language; logic; semantic; semantics | 版次 | 1 | doi | https://doi.org/10.1007/978-94-011-5638-7 | isbn_softcover | 978-94-010-6377-7 | isbn_ebook | 978-94-011-5638-7Series ISSN 1386-2790 | issn_series | 1386-2790 | copyright | Springer Science+Business Media Dordrecht 1997 |
The information of publication is updating
書目名稱Logic, Language and Computation影響因子(影響力) 
書目名稱Logic, Language and Computation影響因子(影響力)學科排名 
書目名稱Logic, Language and Computation網(wǎng)絡公開度 
書目名稱Logic, Language and Computation網(wǎng)絡公開度學科排名 
書目名稱Logic, Language and Computation被引頻次 
書目名稱Logic, Language and Computation被引頻次學科排名 
書目名稱Logic, Language and Computation年度引用 
書目名稱Logic, Language and Computation年度引用學科排名 
書目名稱Logic, Language and Computation讀者反饋 
書目名稱Logic, Language and Computation讀者反饋學科排名 
|
|
|