فهرست نشریات علمی دسترسی آزاد ایران

کشف تفاوت‌های نظام‌های گوناگون منطق موجهات، از جمله مزایای ابداع معناشناسی کریپکی بود. یکی از نمونه‌های بارز آن، تعبیر ضرورت به اثبات‌پذیری در منطق‌های اثبات‌پذیری است و به قول بولوس، با کشف این منطق، می‌توان گفت که باب فهم مطالب جدید در زمینه برهان باز شد. در این مقاله با رویکردی فرمال و با روش توصیفی-تحلیلی و مقایسه‌ای، نظام‌های اصل‌ موضوعی گزاره‌ای GL، Grz و H و سمانتیک جهان ممکنی آن‌ها بر مبنای سمانتیک کریپکی مورد بررسی قرار گرفته و نیز نظریه برهان حساب رشته‌ای GL (در حساب پئانو) و GLS (در مدل استاندارد) ارائه و در نهایت، فراقضایای صحت، سازگاری و تمامیت GL تقریر و اثبات شد.