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 type: Journal Title DOI type Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts # Journal A Gentzen style axiomatization for basic predicate calculus # Journal Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic # Journal A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic # Journal