درآمدی بر منطق های گودل

در این پایان نامه منطق های گودل مرتبه اول که خانواده ای از منطق های متناهی یا نامتناهی ارزشی هستند، مطالعه می شود. مجموعه ی ارزش های صدق، v، زیر مجموعه ی بسته ای از [0,1] است که شامل 0 و 1 می باشد. gv منطق حاصل از مجموعه ی v، مجموعه ی آن دسته از فرمول ها است که تحت هر تعبیری بتوی v ارزش 1 پیدا کنند. انتخاب مجموعه های متفاوت v موجب پدید آمدن منطق های متفاوت gv می شود. ثابت خواهیم کرد که gv بنداشت پذیر است اگر و تنها اگر یکی از سه حالت زیر رخ دهد: 1-v متناهی باشد. 2- v ناشمارا باشد و 0 نقطه ی تنهای آن باشد. 3- هر همسایگی 0 در v ناشمارا باشد. همچنین این پایان نامه به ارائه ی توضیح مختصری درباره مهمترین t- نرم های پیوسته و مانده ی وابسته به آنها می پردازد.