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 More ArticlesJournal Papers 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
