دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: Francesco Paoli سری: Trends in Logic 13 ISBN (شابک) : 9789048160143 ناشر: Springer سال نشر: 2002 تعداد صفحات: 306 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب منطق زیر ساختی: یک آغازگر: منطق، منطق ریاضی و مبانی، نظم، شبکه ها، ساختارهای جبری مرتب
در صورت تبدیل فایل کتاب Substructural logics: A primer به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب منطق زیر ساختی: یک آغازگر نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
منطقهای زیرساختی تا کنون یکی از برجستهترین شاخههای حوزه
تحقیقاتی است که معمولاً با عنوان \"منطقهای غیرکلاسیک\" - و
شاید منطق دادگاه شناخته میشود. در طول چند دهه اخیر،
حجم وسیعی از مقالات تحقیقاتی و حتی برخی کتابها به این موضوع
اختصاص یافته است. هدف کتاب حاضر ارائه گزارشی جامع از «وضعیت
هنر» منطقهای زیرساختی با تمرکز بر نظریه اثبات آنها (به ویژه
بر محاسبات متوالی و تعمیمهای آنها) و بر معناشناسی آنها (هم
جبری و هم رابطهای) است. ).
خوانندگان: این کتاب درسی برای خوانندگان گسترده ای
طراحی شده است: دانشجویان فارغ التحصیل در رشته های فلسفه،
ریاضیات، علوم کامپیوتر نظری یا زبان شناسی نظری بدون دانش قبلی
در مورد موضوع (به جز دانش کاری). منطق ابتدایی) به تدریج و با
شروع از پایه های اولیه آن وارد حوزه می شود. متخصصان و محققان
در این منطقه یک بررسی به روز از مهم ترین موضوعات و مشکلات
تحقیقاتی جاری پیدا خواهند کرد.
Substructural logics are by now one of the most prominent
branches of the research field usually labelled as
"nonclassical logics" - and perhaps of logic tout
court. Over the last few decades a vast amount of
research papers and even some books have been devoted to this
subject. The aim of the present book is to give a
comprehensive account of the "state of the art" of
substructural logics, focusing both on their proof theory
(especially on sequent calculi and their generalizations) and
on their semantics (both algebraic and relational).
Readership: This textbook is designed for a wide
readership: graduate students in either philosophy,
mathematics, theoretical computer science or theoretical
linguistics with no previous knowledge of the subject (except
for a working knowledge of elementary logic) will be
gradually introduced into the field starting from its basic
foundations; specialists and researchers in the area will
find an up-to-date survey of the most important current
research topics and problems.
Front Matter....Pages i-xiii
Front Matter....Pages 1-1
The Role of Structural Rules in Sequent Calculi....Pages 3-37
Front Matter....Pages 39-39
Basic Proof Systems for Substructural Logics....Pages 41-85
Cut Elimination and the Decision Problem....Pages 87-113
Other Formalisms....Pages 115-155
Front Matter....Pages 157-157
Algebraic Structures....Pages 159-197
Front Matter....Pages 199-199
Algebraic Semantics....Pages 201-220
Relational Semantics....Pages 221-255
Back Matter....Pages 257-305