Dr.Mojtaba Aghaei aghaei@iut.ac.ir Office Mathematical Sciences Dept. Phone +98 31 33913648 Fax +98 31 33912600 Positions Assistant Professor of Mathematical Sciences Dept. Research Interests Proof Theory Epistemic Logic Unprovability and Generalized Ramsey Theory Dr.Mojtaba Aghaei type: Journal Title Date Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts 2014-05 مروري بر نظريه اثبات 2005-10 اثبات قضيه در منطق هاي زماني با كمك رايانه و كاربر 2005-10 A Gentzen style axiomatization for basic predicate calculus 2003-01 Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic 2001-07 A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic 2000-03
