فراقضایا

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