Logic, Language and Computation

ویراستاران مجموعه منطق کاربردی با خوشحالی می‌توانند جلد پنجم این مجموعه، مجموعه‌ای از مقالات در زمینه منطق، زبان و محاسبات را به خواننده ارائه دهند. یکی از ویژگی‌های بسیار بارز کاربرد منطق در زبان و محاسبات این است که به ترکیب، یکپارچگی و استفاده از بسیاری از سیستم‌ها و متدولوژی‌های متنوع - همه در یک برنامه واحد نیاز دارد. مقالات این جلد به خواننده نگاهی اجمالی به مشکلات این مرز فعال منطق می دهد. ویراستاران محتویات پیشگفتار IX 1. S. AKAMA مسائل اخیر در منطق، زبان و محاسبات 1 2. M. J. CRESSWELL محدود شده کمیت 27 3. B. H. SLATER The Epsilon Calculus' Problematic 39 4. K. VON HEUSINGER Choices and Defin. N. ASHER ساختار فضایی-زمانی در متن 93 6. Y. NAKAYAMA DRT و منطق های چند ارزشی 131 7. S. AKAMA در مورد روش سازنده 143 8. H. WANSING نمایش به صورت موقتی: سیستم های متوالی برای منطق های فرعی 159. FARINAS DEL CERRO AND V. LUGARDON 179 کمیت و منطق وابستگی 10. R. SYLVAN شرایط مربوطه و کاربرد مربوطه آن 191 فهرست 245 پیشگفتار این مجموعه ای از مقالات محققین برجسته در زمینه منطق، علوم کامپیوتر و علوم کامپیوتری است. هدف این کتاب پرداختن به تصویری گسترده از تحقیقات اخیر در زمینه های مرتبط است. به طور خاص، مشارکت‌ها بر معناشناسی زبان طبیعی و منطق غیرکلاسیک از دیدگاه‌های مختلف تمرکز دارند.

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 by distinguished researchers on Logic, Lin­ guistics, Philosophy and Computer Science. The aim of this book is to address a broad picture of the recent research on related areas. In particular, the contributions focus on natural language semantics and non-classical logics from different viewpoints.