ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Algebraizable logics

دانلود کتاب منطق های جبری شدنی

Algebraizable logics

مشخصات کتاب

Algebraizable logics

دسته بندی: منطق
ویرایش:  
نویسندگان: ,   
سری: Memoirs of the American Mathematical Society 396 
ISBN (شابک) : 0821824597, 9780821824597 
ناشر: American Mathematical Society 
سال نشر: 1989 
تعداد صفحات: 84 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

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



ثبت امتیاز به این کتاب

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


در صورت تبدیل فایل کتاب Algebraizable logics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب منطق های جبری شدنی

W. J. Blok و Don Pigozzi تلاش کردند تا به این سؤال پاسخ دهند که معنای منطق جبری چیست. در این کتاب مهم، آنها مطالعه منطق جبری را با ارائه یک چارچوب کلی برای مطالعه منطق ها با ابزار جبری تغییر دادند. ریاضیدان هلندی W. J. Blok (1947-2003) در سال 1979 دکترای خود را از دانشگاه آمستردام دریافت کرد و تا زمان مرگ در یک تصادف اتومبیل، استاد ریاضیات در دانشگاه ایلینوی شیکاگو بود. دون پیگوزی (1935-) در اوکلند، کالیفرنیا بزرگ شد، دکترای خود را از دانشگاه کالیفرنیا، برکلی در سال 1970 دریافت کرد، و تا زمان بازنشستگی خود در سال 2002، استاد ریاضیات در دانشگاه ایالتی آیووا بود. انجمن استدلال پیشرفته خوشحال است که در دسترس است در سری Classic Reprints، این بازتولید دقیق از متن 1989، با یک برگه اشتباه جدید که توسط Don Pigozzi تهیه شده است.


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

W. J. Blok and Don Pigozzi set out to try to answer the question of what it means for a logic to have algebraic semantics. In this seminal book they transformed the study of algebraic logic by giving a general framework for the study of logics by algebraic means. The Dutch mathematician W. J. Blok (1947-2003) received his doctorate from the University of Amsterdam in 1979 and was Professor of Mathematics at the University of Illinois, Chicago until his death in an automobile accident. Don Pigozzi (1935- ) grew up in Oakland, California, received his doctorate from the University of California, Berkeley in 1970, and was Professor of Mathematics at Iowa State University until his retirement in 2002. The Advanced Reasoning Forum is pleased to make available in its Classic Reprints series this exact reproduction of the 1989 text, with a new errata sheet prepared by Don Pigozzi.



فهرست مطالب

Title Page......Page 1
Abstract......Page 3
Contents......Page 4
Introduction......Page 7
1 Deductive Systems and Matrix Semantics......Page 11
1.1 The Lattice of Theories......Page 12
1.2 Matrix Semantics......Page 14
1.3 Deductive Systems as Elementary Theories......Page 15
1.4 The Elementary Leibniz Equivalence Relation......Page 16
1.4.1 Protoalgebraic Logics......Page 18
2 Equational Consequence and Algebraic Semantics......Page 19
2.1 Algebraic Semantics......Page 20
2.2 Equivalent Algebraic Semantics......Page 25
2.2.1 Uniqueness......Page 28
2.2.2 Axiomatization......Page 30
3 The Lattice of Theories......Page 33
4.1 The Leibniz Operator......Page 40
4.2 A Second Intrinsic Characterization......Page 45
5.1 Matrix Semantics and Algebraic Semantics......Page 48
5.2.1 Modal Logics......Page 52
5.2.2 Entailment and Relevance Logics......Page 54
5.2.3 Pure Implicational Logics......Page 55
5.2.4 Two Logics with the Same Algebraization......Page 60
5.2.5 Intuitionistic Propositional Logic without Implication......Page 62
5.2.6 Equivalential Logic......Page 63
A Elementary Definitional Equivalence......Page 66
B An Example......Page 69
C Predicate Logic......Page 73
Bibliography......Page 79
Index......Page 83




نظرات کاربران