توضیحات
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.
- Provides a clear development of the fundamentals of RM-semantics in a new application
- Covers the most general research on ternary relational semantics
- Includes scrutiny of constructive negation from the ternary relational perspective
————————————————————–
ترجمه ماشینی :
معناشناسی رابطهای سهگانه Routley-Meyer برای نفیهای نوع شهودی چگونگی معرفی نفیهای نوع شهودی را در معناشناسی RM بررسی میکند. RM-semantics بسیار انعطاف پذیر است و قادر به مدل سازی خانواده های منطقی است که بسیار متفاوت از یکدیگر هستند. این معناشناسی در اوایل دهه 1970 معرفی شد و برای تفسیر منطق های مرتبط ابداع شد. در معناشناسی RM، نفی با استفاده از عملگر Routley تفسیر میشود که تقریباً منحصراً برای مدلسازی نفیهای De Morgan استفاده شده است. این کتاب تحقیقاتی را در مورد ویژگیهای خاص نفیهای نوع شهودی در معناشناسی RM ارائه میکند، در حالی که سیستمهای اساسی و بسیاری از پسوندهای آنها را با استفاده از مدلهایی با یا بدون مجموعهای از نقاط تعیینشده تعریف میکند.
- توسعه روشنی از مبانی RM-معناشناسی را در یک برنامه کاربردی جدید ارائه می دهد
- کلی ترین تحقیقات در مورد معناشناسی رابطه ای سه تایی را پوشش می دهد
- شامل بررسی دقیق نفی سازنده از رابطه سه گ
tag : دانلود کتاب معناشناسی رابطهای سهگانه روتلی-مایر برای نفیهای نوع شهودی , Download معناشناسی رابطهای سهگانه روتلی-مایر برای نفیهای نوع شهودی , دانلود معناشناسی رابطهای سهگانه روتلی-مایر برای نفیهای نوع شهودی , Download Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations Book , معناشناسی رابطهای سهگانه روتلی-مایر برای نفیهای نوع شهودی دانلود , buy معناشناسی رابطهای سهگانه روتلی-مایر برای نفیهای نوع شهودی , خرید کتاب معناشناسی رابطهای سهگانه روتلی-مایر برای نفیهای نوع شهودی , دانلود کتاب Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations , کتاب Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations , دانلود Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations , خرید Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations , خرید کتاب Routley-Meyer Ternary Relational Semantics for Intuitionistic-type Negations ,
دیدگاهها
هیچ دیدگاهی برای این محصول نوشته نشده است.