دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Gemma Robles. José M. Méndez
سری:
ISBN (شابک) : 0081007515, 9780081007518
ناشر: Academic Press
سال نشر: 2018
تعداد صفحات: 149
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
در صورت تبدیل فایل کتاب Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معناشناسی رابطهای سهگانه روتلی-مایر برای نفیهای نوع شهودی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
معناشناسی رابطهای سهگانه Routley-Meyer برای نفیهای نوع شهودی نحوه معرفی نفیهای نوع شهودی را در معناشناسی RM بررسی میکند. RM-semantics بسیار انعطاف پذیر است و قادر به مدل سازی خانواده های منطقی است که بسیار متفاوت از یکدیگر هستند. این معناشناسی در اوایل دهه 1970 معرفی شد و برای تفسیر منطق های مرتبط ابداع شد. در معناشناسی RM، نفی با استفاده از عملگر Routley تفسیر میشود، که تقریباً منحصراً برای مدلسازی نفیهای De Morgan استفاده شده است. این کتاب تحقیقاتی را در مورد ویژگیهای خاص نفیهای نوع شهودی در معناشناسی RM ارائه میکند، در حالی که سیستمهای اساسی و بسیاری از توسعههای آنها را با استفاده از مدلهایی با یا بدون مجموعهای از نقاط تعیینشده تعریف میکند.
Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations examines how to introduce intuitionistic-type negations into RM-semantics. RM-semantics is highly malleable and capable of modeling families of logics which are very different from each other. This semantics was introduced in the early 1970s, and was devised for interpreting relevance logics. In RM-semantics, negation is interpreted by means of the Routley operator, which has been almost exclusively used for modeling De Morgan negations. This book provides research on particular features of intuitionistic-type of negations in RM-semantics, while also defining the basic systems and many of their extensions by using models with or without a set of designated points.
About the authors Preface Introduction 0.1 Ternary relational semantics. General characteristics 0.2 Positive models. The interpretation of the conditional 0.3 The interpretation of negation in RM-semantics 0.4 The introduction of intuitionistic-type negation in standard positive binary semantics 0.5 The introduction of intuitionistic-type negation in RM-semantics 1 The basic positive logic B+. EB+-models 1.1 EB+-models 1.2 The logic B+ 1.3 Completeness of EB+-logics I. Basic propositions and lemmas 1.4 Completeness of EB+-logics II. Canonical models. Completeness of B+ 1.5 “Rules of inference”, “rules of proof”, and strong completeness 2 The basic constructive logics BcS and Bc 2.1 The logic BcS 2.2 An RM-semantics for BcS 2.3 Completeness of BcS I. On w-consistency 2.4 Completeness of BcS II. The canonical model. The completeness theorem 2.5 The logic Bc 2.6 BcS and Bc as the basic constructive logics in RM1-semantics 3 The basic positive logic BK+. The basic constructive logics BKS and BK 3.1 The logic BK+ and its semantics 3.2 Completeness of BK+ 3.3 The logic BKS 3.4 The logic BK 4 Logics definitionally equivalent to the basic constructive logics. The logics BcSf, Bcf, BKSf, and BKf 4.1 The logics B+,f and BK+,f 4.2 The logics BcSf, Bcf, BKSf, and BKf 4.3 Definitional equivalence 4.4 RM-semantics for the basic constructive f-logics 5 The basic constructive logics RBc and RBc2 5.1 The logic RBc 5.2 The logic RBc2 5.3 The logic RB+,t,f 5.4 Independence and variable-sharing property in RBc and RBc2 6 Extensions and expansions of the basic logics 6.1 Extensions and expansions with positive axioms 6.2 Extensions and expansions with negation axioms 6.3 Extensions and expansions with f-axioms 7 On some extensions and expansions of the basic logics 7.1 Some systems definable from t1-t71 7.2 No collapse between certain systems 7.3 Relevance and paraconsistent logics A List of axioms and postulates A.1 Positive and negation axioms and their corresponding postulates A.2 f-axioms and their corresponding f-postulates Bibliography Index