-
contraction-free linear depth sequent calculi for intuitionistic propositional logic with the subformula property and minimal depth counter-models
جزئیات بیشتر مقاله- تاریخ ارائه: 1392/07/24
- تاریخ انتشار در تی پی بین: 1392/07/24
- تعداد بازدید: 871
- تعداد پرسش و پاسخ ها: 0
- شماره تماس دبیرخانه رویداد: -
in this paper we present lsj, a contraction-free sequent calculus for intuitionistic propositional logic whose proofs are linearly bounded in the length of the formula to be proved and satisfy the subformula property. we also introduce a sequent calculus rj for intuitionistic unprovability with the same properties of lsj. we show that from a refutation of rj of a sequent σ we can extract a kripke counter-model for σ. finally, we provide a procedure that given a sequent σ returns either a proof of σ in lsj or a refutation in rj such that the extracted counter-model is of minimal depth.
مقالات جدیدترین رویدادها
-
استفاده از تحلیل اهمیت-عملکرد در ارائه الگوی مدیریت خلاقیت سازمانی و ارائه راهکار جهت بهبود
-
بررسی تاثیر ارزش وجوه نقد مازاد بر ساختار سرمایه شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر سطح افشای ریسک بر قرارداد بدهی شرکت های پذیرفته شده در بورس اوراق بهادار تهران
-
بررسی تأثیر رتبه بندی اعتباری مبتنی بر مدل امتیاز بازار نوظهور بر نقد شوندگی سهام با تأکید بر خصوصی سازی شرکت ها
-
تأثیر آمیخته بازاریابی پوشاک ایرانی بر تصویر ذهنی مشتری پوشاک ایرانی (هاکوپیان)
-
بررسی عوامل موثر در طراحی سطوح شهری و نقش آن ها در تغییرات دمایی جزایر گرمایی
-
گذری تطبیقی بر نماسازی ساختمان های مسکونی در ایران با رویکرد زیبایی شناسی و حفظ هویت معماری ایرانی اسلامی (مطالعه موردی منطقه یک تهران)
-
بررسی ریسک فاکتورهای پیشگویی کننده در ایجاد بیماری کرونری در بیماران با پرفشاری خون و مقایسه آن با بیماران دارای فشار خون طبیعی
-
بررسی آزمایشگاهی تاثیر الیاف ژئوتکستایل بر تغییرشکل های درازمدت خاک
-
تاثیر جداسازی میانقاب بنایی از قاب بتنی پیرامونی بر رفتار لرزه ای قاب مرکب
مقالات جدیدترین ژورنال ها
-
مدیریت و بررسی افسردگی دانش آموزان دختر مقطع متوسطه دوم در دروان کرونا در شهرستان دزفول
-
مدیریت و بررسی خرد سیاسی در اندیشه ی فردوسی در ادب ایران
-
واکاوی و مدیریت توصیفی قلمدان(جاکلیدی)ضریح در موزه آستان قدس رضوی
-
بررسی تاثیر خلاقیت، دانش و انگیزه کارکنان بر پیشنهادات نوآورانه کارکنان ( مورد مطالعه: هتل های 3 و 4 ستاره استان کرمان)
-
بررسی تاثیر کیفیت سیستم های اطلاعاتی بر تصمیم گیری موفق در شرکتهای تولیدی استان اصفهان (مورد مطالعه: مدیران شرکتهای تولیدی استان اصفهان)
-
نقش میانجی گری گرایش های معنوی در رابطه بین تنظیم شناختی هیجان با سازگاری زوجی
-
تاثیر استاندارد بین المللی گزارشگری مالی اجاره های سرمایه ای بر دارایی ها، بدهی ها و اهرم شرکت ها مطالعه موردی: صنعت انرژی در بورس اوراق بهادار ورشو
-
تاثیر بازاریابی کارآفرینانه بر ارزش ویژه برند و وفاداری مشتریان شهر فرش
-
جستاری بر مفهوم شناسی برهان در قرآن از دیدگاه علامه طباطبایی و فخر رازی
-
evaluation of cable force changes effects on cable stayed bridge
سوال خود را در مورد این مقاله مطرح نمایید :