کلیدواژه categorical logic / (1 مقاله)
- مرتب سازی
- تاریخ
- نشریه منطق پژوهی 1
-
1.
نویسنده مسئول : آمیخته، عامر ؛ نویسنده : میرصانعی، سید احمد ؛
مجله:منطق پژوهی»بهار و تابستان 1400، سال دوازدهم - شماره 1 رتبه ب (وزارت علوم/ISC (22 صفحه - از 3 تا 24 )
کلیدواژه ها:منطق حملیقیاس ارسطوییمنطق زیرساختاریروش اصل موضوعیمنطق غیرکلاسیکمنطقمنطـقSLاستانداردقواعدسیستمنقضبـه