دوره 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
منطق وجهی نرمال دوموضعی
دوره 14، شماره 1 ، تیر 1402، ، صفحه 87-102
چکیده
در این مقاله، ابتدا معناشناسی کریپکی برای منطق وجهی نرمال با یک عملگر دو موضعی را تعریف کرده و سیستمی به نام K^2 را که نسبت به این معناشناسی درست و تمام است را معرفی خواهیم کرد. سپس دو نوع ترجمه ارائه خواهیم کرد و با استفاده از این ترجمهها نشان خواهیم داد که منطق وجهی نرمال دو موضعی (K^2) و منطق وجهی نرمال استاندارد (K) بسیار به هم مرتبط ... بیشترتمامیت منطق رواقی
دوره 7، شماره 2 ، اسفند 1395، ، صفحه 45-66