معرفی معناشناسیهای مختلف برای منطق شهودی

The Review of Laser Engineering Pub Date : 2020-03-20 DOI:10.30465/LSJ.2021.33406.1314

فاطمه شیرمحمدزاده ملکی

{"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 نسبت به این معناشناسی با افزودن برخی ویژگیهای خاص درست و تمام است.

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

The Review of Laser Engineering

自引率

0.00%

发文量