دوره 14 (1402)
دوره 13 (1401)
دوره 12 (1400)
دوره 11 (1399)
دوره 10 (1398)
دوره 9 (1397)
دوره 8 (1396)
دوره 7 (1395)
دوره 6 (1394)
دوره 5 (1393)
دوره 4 (1392)
دوره 3 (1391)
دوره 2 (1390)
دوره 1 (1389)
کلیدواژهها = منطق شهودی
تعداد مقالات: 2
معرفی معناشناسیهای مختلف برای منطق شهودی
دوره 11، شماره 1 ، فروردین 1399، ، صفحه 131-150
چکیده
منطق شهودی گزارهای منطقی غیرکلاسیک است که از حذف اصل طرد شق ثالث از منطق کلاسیک حاصل میشود. چند معناشناسی مختلف، مانند معناشناسی کریپکی، توپولوژیکی و همسایگی برای منطق شهودی گزارهای وجود دارد که قضایای درستی و تمامیت برای آنها اثبات شده است. در این مقاله ابتدا برخی از این معناشناسیها رابررسی میکنیم، سپس دو معناشناسی ... بیشترتحلیل دلالت شناسانهی منطق شهودی I
دوره 9، شماره 1 ، فروردین 1397، ، صفحه 53-93