دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: منطق ویرایش: نویسندگان: W. J. Blok, Don Pigozzi سری: Memoirs of the American Mathematical Society 396 ISBN (شابک) : 0821824597, 9780821824597 ناشر: American Mathematical Society سال نشر: 1989 تعداد صفحات: 84 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب 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