“Mojtaba Aghaei ”

Tel:  (+98)(21)2290928
Fax:  (+98)(21)2290648

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]
scroll left or right