برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

دانلود کتاب منطق ، زبان و استدلال: مقالاتی به افتخار داو گبه

مشخصات کتاب

Logic, Language and Reasoning: Essays in Honour of Dov Gabbay

دسته بندی: منطق
ویرایش:  
نویسندگان: Hans Jürgen Ohlbach. Uwe Reyle  
سری: Trends in Logic 5 
ISBN (شابک) : 079235687X, 9780792356875 
ناشر: Springer 
سال نشر: 1999 
تعداد صفحات: 220 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 49 مگابایت

قیمت کتاب (تومان) : 33,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 7

در صورت تبدیل فایل کتاب Logic, Language and Reasoning: Essays in Honour of Dov Gabbay به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب منطق ، زبان و استدلال: مقالاتی به افتخار داو گبه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب منطق ، زبان و استدلال: مقالاتی به افتخار داو گبه

این کتاب به Dov Gabbay، یکی از برجسته ترین و پربارترین محققین در زمینه منطق، زبان و استدلال تقدیم شده است. او تأثیر عمیقی در زمینه های اصلی منطق، زبان شناسی و علوم کامپیوتر داشته است. بنابراین، بیشتر فصول شامل کار او است و نتایج را ارائه می‌کند یا مناطقی را که داو در آن مشارکت عمده داشته است، خلاصه می‌کند. به ویژه کار او در مورد سیستم‌های قیاسی برچسب‌گذاری شده در بیشتر مشارکت‌ها مورد توجه قرار گرفته است. فصل‌های زبان‌شناسی محاسباتی به جنبه‌های منطقی و قیاسی مسائل زبانی می‌پردازند. مقالات ون بنتم لمبک و مورتگات ملاحظات طبقه بندی شده و استفاده از برچسب ها را در رویکرد "تجزیه به عنوان کسر" بررسی می کنند. تجزیه و تحلیل مشکلات زبانی خاص در مقالات باقی مانده توسط کمپ، کمپسون، موراوچیک، کونیگ و ریل ارائه شده است. آنها به منطق کمی‌سازهای تعمیم‌یافته، برخورد با پدیده‌های متقاطع و تفسیر زمانی/جنبه‌ای و همچنین کاربرد استنتاج نامشخص در فرمالیسم‌های زبانی می‌پردازند. فصول منطق محورتر به مسائل فلسفی و اثبات نظری می پردازند و برای اکثر آنها راه حل های الگوریتمی ارائه می دهند. این طیف از مشارکت K. Segerberg که دو سنت منطق معرفتی و دوکساستیک اعتقاد را گرد هم می‌آورد تا فصل M. Finger و M. Reynold در مورد منطق‌های اجرایی دوبعدی با کاربردها در پایگاه‌های داده زمانی متغیر است. این کتاب نشان می‌دهد که تعداد نسبتاً کمی از تکنیک‌ها و ایده‌های اساسی، به‌ویژه ایده سیستم‌های قیاسی برچسب‌گذاری‌شده، می‌توانند با موفقیت در بسیاری از زمینه‌های مختلف اعمال شوند.

توضیحاتی درمورد کتاب به خارجی

This book is dedicated to Dov Gabbay, one of the most outstanding and most productive researchers in the area of logic, language and reasoning. He has exerted a profound influence in the major fields of logic, linguistics and computer science. Most of the chapters included, therefore, build on his work and present results or summarize areas where Dov has made major contributions. In particular his work on Labelled Deductive Systems is addressed in most of the contributions. The chapters on computational linguistics address logical and deductive aspects of linguistic problems. The papers by van Benthem Lambek and Moortgat investigate categorial considerations and the use of labels within the `parsing as deduction' approach. Analyses of particular linguistic problems are given in the remaining papers by Kamp, Kempson, Moravcsik, König and Reyle. They address the logic of generalized quantifiers, the treatment of cross-over phenomena and temporal/aspectual interpretation as well as applicability of underspecified deduction in linguistic formalisms. The more logic-oriented chapters address philosophical and proof-theoretic problems and give algorithmic solutions for most of them. The spectrum ranges from K. Segerberg's contribution which brings together the two traditions of epistemic and doxastic logics of belief, to M. Finger and M. Reynold's chapter on two-dimensional executable logics with applications to temporal databases. The book demonstrates that a relatively small number of basic techniques and ideas, in particular the idea of labelled deductive systems, can be successfully applied in many different areas.

فهرست مطالب

Title ......Page 2
Copyright ......Page 3
Preface ......Page 6
Contributions ......Page 8
Dov Gabbay: \"I am a logic\" ......Page 10
Research Themes of Dov Gabbay ......Page 22
Proofs, Labels and Dynamics in Natural Language (Johan van Benthem) ......Page 40
What a Linguist Might Want Prom a Logic of MOST and Other Generalized Quantifiers (Hans Kamp) ......Page 52
Imperative History: Two-dimensional Executable Temporal Logic (Marcelo Finger and Mark Reynolds) ......Page 82
Diagrammatic Reasoning in Projective Geometry (Philippe Balbiani and Luis Farinas del Cerro) ......Page 108
On Sentences of the Kind \"Sentence \'p\' is About Topic t\" (Robert Demolombe and Andrew J.I. Jones) ......Page 124
Two Traditions in the Logic of Belief: Bringing them Together (Krister Segerberg) ......Page 144
Elimination of Predicate Quantifiers (Andreas Nonnengart, Hans Jurgen Ohlbach and Andrzej Szalas) ......Page 158
Labelled Natural Deduction (Ruy J. G. B. de Queiroz and Dov M. Gabbay) ......Page 182
A General Reasoning Scheme for Underspecified Representations (Esther Konig and Uwe Reyle) ......Page 260
Deductive Systems and Categories in Linguistics (Joachim Lambek) ......Page 288
Towards a Procedural Model of Natural-language Interpretation Crossover: A Case Study (Ruth Kempson) ......Page 304
Transformation Methods in LDS (Krysia Broda, Marcello D\'Agostino and Alessandra Russo) ......Page 344
Labelled Deduction in the Composition of Form and Meaning (Michael Moortgat) ......Page 386
Formalisms for Non-formal Languages (Julius M. Moravcsik) ......Page 410
Names Index ......Page 426
Index ......Page 431