-
finite-valued semantics for canonical labelled calculi
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 707
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
we define a general family of canonical labelled calculi, of which many previously studied sequent and labelled calculi are particular instances. we then provide a uniform and modular method to obtain finite-valued semantics for every canonical labelled calculus by introducing the notion of partial non-deterministic matrices. the semantics is applied to provide simple decidable semantic criteria for two crucial syntactic properties of these calculi: (strong) analyticity and cut-admissibility. finally, we demonstrate an application of this framework for a large family of paraconsistent logics.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
بررسی و تشریح نمونه های مدلسازی دیوارهای آجری غیرمسلح در جهت آزمایش در برابر بارهای افقی ناشی از زلزله
-
بررسی عددی اثر مانع مثلثی بر بهبود ضریب انتقال حرارت در صفحه تخت
-
مروری بر کاربردهای فیلم های حاوی آنتوسیانین در بسته بندی های فعال و هوشمند
-
تاثیر قطع و ترمیم جراحی عصب سیاتیک بر روی تعداد نورون های عقده ریشه خلفی نخاع
-
نشانه شناسی تحلیلی نقوش و احجام شاخص در هنر و معماری بومی قوم بختیاری ایران
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
مقایسه ی مولفه های بهزیستی معنوی با شادکامی و سلامت عمومی در دانشجویان دانشگاه شهید باهنر و حوزه های علمیه ی شهر کرمان
-
بررسی نقش تحولات جهانی در آموزش و پرورش با نقش فناوری اطلاعات و نوآوری
-
مقایسه سبک های دلبستگی، طرح های ناسازگاری اولیه و سبک مقابله ای در زنان مطلقه و زنان عادی شهر کرمانشاه
-
an alternative vehicle counting tool using the kalman filter within matlab
-
condition assessment of existing concrete building using non-destructive testing methods for effective repair and restoration-a case study
سوال خود را در مورد این مقاله مطرح نمایید :