معناشناسی تکوار دو رابطه‌ای
|
|
|
|
|
|
|
|
نویسنده
|
برزین عرفان
|
|
منبع
|
يازدهمين همايش ساليانه انجمن منطق ايران - 1402 - دوره : 11 - یازدهمین همایش سالیانه انجمن منطق ایران - کد همایش: 02231-26538 - صفحه:0 -0
|
|
چکیده
|
منطق u به عنوان منطق پایه‌ای برای متحد کردن منطق‌های پایه‌ی ویسر و سمبین معرفی شده است. در این مقاله قصد داریم، معناشناسی مناسبی برای دستگاه استنتاج منطق u ارائه دهیم. منظور از معناشناسی مناسب، معناشناسی‌ای است که نسبت به آن قضیه‌ی درستی و تمامیت در منطق u برقرار باشد.
|
|
کلیدواژه
|
معناشناسی، منطق پایه، معناشناسی منطق پایه، تکوار رابطه‌ای، تکوار دو رابطه‌ای.
|
|
آدرس
|
, iran
|
|
پست الکترونیکی
|
erfan11barzin11@gmail.com
|
|
|
|
|
|
|