هوش مصنوعی عصبی-نمادین: اتصالی دوسویه میان استدلال منطقی و...

فرامنطق‌های زمانی و راستی‌آزمایی برای فراویژگی‌هامهران سلیمان...

متریک و منطق‌های چندارزشی محمد امین خاتمی (دانشگاه صنعتی بیرجند)...

بسط منطق زالتا بر اشیاء معمولی انتزاعی محمد هادی سلیمانی...

  گودل زیر میکروسکوپ هیلبرت و براور ( سور و فرآیند)   مجتبی...