IPM Positions

Non Resident Researcher (non-resident), School of Mathematics (2000 - 2003 )

Past IPM Positions

Ph.D. Student, School of Mathematics (1996 - 2000)

Research Activities

Arithmetic is an important subject (classically and intuitionistically) in mathematical logic. In this research, we study the recent works in this subject and try to obtain new results in intuitionistic arithmetic.

Present Research Project at IPM

Some Results in Intuitionistic Arithmetic

Related Papers

1.	M. Aghaei and M. Ardeshir A Gentzen-style axiomatization for basic predicate calculus Arch. Math. Logic 42 (2003), 245-259  [abstract]

2.	M. Aghaei and M. Ardeshir Gentzen-style axiomatizations for some conservative extensions of basic propositional logic Studia Logica 68 (2001), 263-285  [abstract]

3.	M. Aghaei and M. Ardeshir A bounded translation of intuitionistic propositional logic into basic propositional logic Math. Logic Quart. 46 (2000), 199-206  [abstract]