ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Neutrality and Many-Valued Logics

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

Neutrality and Many-Valued Logics

مشخصات کتاب

Neutrality and Many-Valued Logics

دسته بندی: منطق
ویرایش:  
نویسندگان:   
سری:  
ISBN (شابک) : 159973026X, 9781599730264 
ناشر:  
سال نشر: 2007 
تعداد صفحات: 121 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 657 کیلوبایت

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



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

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


در صورت تبدیل فایل کتاب Neutrality and Many-Valued Logics به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


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

در این کتاب، منطق‌های چند ارزشی مختلفی را در نظر می‌گیریم: استاندارد، خطی، هذلولی، سهمی، غیر ارشمیدسی، p-adic، فاصله، نوتروسوفیک، و غیره. منطق های ارزشمند، به عنوان مثال چارچوب‌های محاسبات قیاسی زیر: سبک هیلبرت، متوالی، و بیش‌پیش. به یاد بیاورید که Hypersequents یک تعمیم طبیعی از سکانس های سبک جنتزن است که به طور مستقل توسط Avron و Pottinger معرفی شده است. به‌ویژه، ما سبک، محاسبات متوالی و بیش‌پیش‌آمیز هیلبرت را برای منطق‌های با ارزش بی‌نهایت بر اساس سه هنجار t پیوسته بنیادی در نظر می‌گیریم: لوکاسیویچ، G?¶del s، و منطق محصول. ما یک روش کلی ارائه می‌دهیم که امکان ساخت محاسبات تحلیلی سیستماتیک را برای خانواده بزرگی از منطق‌های چند ارزشی غیر ارشمیدسی فراهم می‌کند: منطق‌های دارای ارزش فوق‌عقلانی، با ارزش فوق‌واقعی و p-adic که با قالب خاصی از معناشناسی با رد مناسب مشخص می‌شوند. بدیهیات ارشمیدس این منطق‌ها به‌عنوان پسوندهای مختلف منطق‌های استاندارد با ارزش‌های متعدد (یعنی منطق‌های Lukasiewicz، G?¶del s، Product، و Post) ساخته شده‌اند. مفهوم غیررسمی اصل اصل ارشمیدس این است که هر چیزی را می توان با یک خط کش اندازه گیری کرد. همچنین اعتبار چندگانه منطقی بدون بدیهیات ارشمیدس شامل این است که مجموعه مقادیر صدق نامتناهی است و به خوبی واساس و منظم نیست. ما دو مورد از منطق‌های چند ارزشی غیر ارشمیدسی را در نظر می‌گیریم: اولی با اعتبار متعدد در بازه [0,1] ابر اعداد و دومی با اعتبار بسیاری در حلقه اعداد صحیح p-adic. توجه داشته باشید که در مورد دوم، منطق‌های با ارزش نامتناهی را تنظیم می‌کنیم. منطق‌های زیر بررسی می‌شوند: 1. منطق‌های لوکاسیویچ، G?¶دل و منطق محصول، 2. منطق‌های لوکاسیویچ با ارزش فوق‌العاده، G?¶del و منطق‌های محصول، 3. p-adic با ارزش لوکاسیویچ، G?¶del. s و منطق های پست. هاجک منطق فازی پایه BL را پیشنهاد می کند که در همه منطق های مبتنی بر هنجارهای t پیوسته اعتبار دارد. در این کتاب، برای اولین بار ما پسوندهای با ارزش بیش از حد و p-adic منطق فازی پایه BL را بررسی می کنیم. بر اساس منطق‌های ارزشی غیر ارشمیدسی، منطق نوتروسوفیک فاصله‌ای با ارزش غیر ارشمیدسی را ایجاد می‌کنیم که با آن می‌توانیم پدیده‌های بی‌طرفی را توصیف کنیم. این منطق با افزودن صدق سه برابر t، i، f به جای یک مقدار صدق t، که t یک درجه صدق، i یک درجه نامعین، و f یک درجه نادرست است، به دست می‌آید. هر پارامتر این سه گانه یا بازه واحد [0,1] اعداد ابری یا حلقه اعداد صحیح p-adic را اجرا می کند.


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

In this book, we consider various many-valued logics: standard, linear, hyperbolic, parabolic, non-Archimedean, p-adic, interval, neutrosophic, etc. We survey also results which show the tree different proof-theoretic frameworks for many-valued logics, e.g. frameworks of the following deductive calculi: Hilbert's style, sequent, and hypersequent. Recall that hypersequents are a natural generalization of Gentzen's style sequents that was introduced independently by Avron and Pottinger. In particular, we consider Hilbert's style, sequent, and hypersequent calculi for infinite-valued logics based on the three fundamental continuous t-norms: Lukasiewicz's, G?¶del s, and Product logics. We present a general way that allows to construct systematically analytic calculi for a large family of non-Archimedean many-valued logics: hyperrational-valued, hyperreal-valued, and p-adic valued logics characterized by a special format of semantics with an appropriate rejection of Archimedes' axiom. These logics are built as different extensions of standard many-valued logics (namely, Lukasiewicz's, G?¶del s, Product, and Post's logics). The informal sense of Archimedes' axiom is that anything can be measured by a ruler. Also logical multiple-validity without Archimedes' axiom consists in that the set of truth values is infinite and it is not well-founded and well-ordered. We consider two cases of non-Archimedean multi-valued logics: the first with many-validity in the interval [0,1] of hypernumbers and the second with many-validity in the ring of p-adic integers. Notice that in the second case we set discrete infinite-valued logics. The following logics are investigated: 1. hyperrational valued Lukasiewicz's, G?¶del s, and Product logics, 2. hyperreal valued Lukasiewicz's, G?¶del s, and Product logics, 3. p-adic valued Lukasiewicz's, G?¶del s, and Post's logics. Hajek proposes basic fuzzy logic BL which has validity in all logics based on continuous t-norms. In this book, for the first time we survey hypervalued and p-adic valued extensions of basic fuzzy logic BL. On the base of non-Archimedean valued logics, we construct non-Archimedean valued interval neutrosophic logic INL by which we can describe neutrality phenomena. This logic is obtained by adding to the truth valuation a truth triple t, i, f instead of one truth value t, where t is a truth-degree, i is an indeterminacy-degree, and f is a falsity-degree. Each parameter of this triple runs either the unit interval [0,1] of hypernumbers or the ring of p-adic integers.





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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی