{"title":"معرفی معناشناسیهای مختلف برای منطق شهودی","authors":"فاطمه شیرمحمدزاده ملکی","doi":"10.30465/LSJ.2021.33406.1314","DOIUrl":null,"url":null,"abstract":"منطق شهودی گزارهای منطقی غیرکلاسیک است که از حذف اصل طرد شق ثالث از منطق کلاسیک حاصل میشود. چند معناشناسی مختلف، مانند معناشناسی کریپکی، توپولوژیکی و همسایگی برای منطق شهودی گزارهای وجود دارد که قضایای درستی و تمامیت برای آنها اثبات شده است. در این مقاله ابتدا برخی از این معناشناسیها رابررسی میکنیم، سپس دو معناشناسی همسایگی جدیدی را که یکی از این معناشناسیها تا حدی پیچیدهتر از معناشناسیهای همسایگی شناخته شده قبلی میباشد را برای منطق گزارهای شهودی (IPC) معرفی میکنیم. در نهایت قضایای درستی و تمامیت را با روشهای متفاوتی نسبت به این دو معناشناسی همسایگی جدید اثبات میکنیم. برای اثبات تمامیت یکی از این معناشناسیها که NB-همسایگی مینامیم، ابتدا نیاز داریم تا دستگاه زیرشهودی WF را که ضعیفتر از دستگاههای زیر شهودی شناخته شده قبلی مانند F میباشد را معرفی کنیم. سپس با استفاده از قصیه تمامیت منطق WF نسبت به معناشناسی NB-همسایگی، نشان خواهیم داد که منطق شهودی IPC نسبت به این معناشناسی با افزودن برخی ویژگیهای خاص درست و تمام است.","PeriodicalId":308244,"journal":{"name":"The Review of Laser Engineering","volume":"60 5","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"The Review of Laser Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.30465/LSJ.2021.33406.1314","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
منطق شهودی گزارهای منطقی غیرکلاسیک است که از حذف اصل طرد شق ثالث از منطق کلاسیک حاصل میشود. چند معناشناسی مختلف، مانند معناشناسی کریپکی، توپولوژیکی و همسایگی برای منطق شهودی گزارهای وجود دارد که قضایای درستی و تمامیت برای آنها اثبات شده است. در این مقاله ابتدا برخی از این معناشناسیها رابررسی میکنیم، سپس دو معناشناسی همسایگی جدیدی را که یکی از این معناشناسیها تا حدی پیچیدهتر از معناشناسیهای همسایگی شناخته شده قبلی میباشد را برای منطق گزارهای شهودی (IPC) معرفی میکنیم. در نهایت قضایای درستی و تمامیت را با روشهای متفاوتی نسبت به این دو معناشناسی همسایگی جدید اثبات میکنیم. برای اثبات تمامیت یکی از این معناشناسیها که NB-همسایگی مینامیم، ابتدا نیاز داریم تا دستگاه زیرشهودی WF را که ضعیفتر از دستگاههای زیر شهودی شناخته شده قبلی مانند F میباشد را معرفی کنیم. سپس با استفاده از قصیه تمامیت منطق WF نسبت به معناشناسی NB-همسایگی، نشان خواهیم داد که منطق شهودی IPC نسبت به این معناشناسی با افزودن برخی ویژگیهای خاص درست و تمام است.
منطق شهودی گزارهای منطقی غیرکلاسیک استک ه از حذف اصل طرد شق ثالث از منطق کلاسیک حاصل میشود.تاند معناشناسی مختلفاند معناشناسی کریپکی توپولوژیکی و همسایگی برای منطق شهودی گزارهای وجود دارد که قضایای درستی و تمامیت برای آنها اثبات شده است.در این مقاله ابتدا برخی از این معناشناسیها رابرسی میکنیم، سپس دو معناشناسی همسایگی جدیدی راکه یکی از این معناشناسیهاتا حدی پیچیدهتر از معناشناسیهای همسایگی شناخته شده قبلی میباشد را برای منطق گزارهای شهودی (IPC) معرفی میکنیم.در نهایت قضایای درستی و تمامیت را با روشهای متفاوتی نسبت به این دو معناشناسی همسایگی جدید اثبات میکنیم.برای اثبات تمامیت یک از این معناشناسیها که nb-همسایگی مینامیم، ابتدا نیاز داریم تا دستگاه زیرشهودی wf راکه ضعیفتر از دستگاههای زیر شهودی شناخته شده قبلی مانند f میباشد را معرفی کنیم.سپس با استفاده از قصیه تمامیت منطق wf نسبت به معناشناسی nb-همسایگی، نشان خواهیم داد که منطق شهودی ipc نسبت به این معناشناسی با افزودن برخی ویژگیهای خاص درست و تمام است.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
