کلیدواژه‌ها = منطق موجه
تعداد مقالات: 2
1. منطق های غیرکلاسیک از دیدگاه جبری

دوره 24، شماره 35، پاییز و زمستان 1384، صفحه 13-31

اسفندیار اسلامی


2. اثبات قضیه در منطق های زمانی به کمک رایانه و کاربر

دوره 24، شماره 35، پاییز و زمستان 1384، صفحه 99-117

مجتبی آقایی؛ سید ابوالقاسم کلانتری