نام پژوهشگر: پریسا طلوعی
پریسا طلوعی اسفندیار اسلامی
در این پایان نامه سعی شده است، ابتدا به معرفی منطق های کلاسیک، شهود گرایی و زیر ساخت بپردازیم و بعد ارتباط منطق خطی را با هر یک از این منطق ها بیان می کنیم. همچنین منطق خطی را با تفسیر کامل هر یک ازحروف ربط و اصول موضوعه آن بیان کرده ایم و در انتها معنا شناسی های این منطق را بررسی می کنیم و به توصیف هر یک از حروف ربط این منطق در هر یک از این معناشناسی ها می پردازیم. سپس ارتباط معناشناسی ها را با منطق های کلاسیک و شهودگرایی بیان می کنیم، که به طور خلاصه محتوای آن به شرح زیر است: این پایان نامه از سه فصل تشکیل شده و در این فصل ها سعی شده است تمامی مطالب مورد نیاز بیان شود فصل اول شامل سه بخش است که در بخش های اول و دوم و سوم به ترتیب، منطق های کلاسیک و شهودگرایی و زیرساخت را معرفی می کنیم و نکاتی در مورد آنها را توضیح می دهیم. در بخش اول فصل دوم به تعریف منطق خطی می پردازیم. در بخش دوم الفبای آن را بیان می کنیم و هر یک ازحروف ربط آن را با ذکر مثال توضیح می دهیم. بخش سوم شامل یکی از کاربردهای این منطق است و در بخش چهارم اصول موضوعه منطق خطی را بیان می کنیم. فصل سوم شامل سه بخش است. در بخش اول به بیان معناشناسی حالت می پردازیم و تفسیر هر یک از حروف ربط را در آن نشان می دهیم. در بخش دوم معناشناسی تشخیصی را بیان می کنیم و حروف ربط را در آن تفسیرمی کنیم و چگونگی تبدیل منطق های کلاسیک و شهودگرایی به منطق خطی را بیان می کنیم. در بخش سوم نیز مثالی برای این معناشناسی ها می آوریم.