نظریه برهان منطق های اثبات پذیری

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