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 Articles 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
