شماره ركورد كنفرانس :
5261
عنوان مقاله :
معناشناسي تكوار دو رابطه‌اي
پديدآورندگان :
برزين عرفان erfan11barzin11@gmail.com دانشگاه صنعتي شريف
كليدواژه :
معناشناسي , منطق پايه , معناشناسي منطق پايه , تكوار رابطه‌اي , تكوار دو رابطه‌اي.
عنوان كنفرانس :
يازدهمين همايش ساليانه انجمن منطق ايران
چكيده فارسي :
منطق U به عنوان منطق پايه‌اي براي متحد كردن منطق‌هاي پايه‌ي ويسر و سمبين معرفي شده است. در اين مقاله قصد داريم، معناشناسي مناسبي براي دستگاه استنتاج منطق U ارائه دهيم. منظور از معناشناسي مناسب، معناشناسي‌اي است كه نسبت به آن قضيه‌ي درستي و تماميت در منطق U برقرار باشد.
