IPM Positions

Resident Researcher, School of Mathematics Head, Logic Group, School of Mathematics (2009 - 2014 (till September 22))

Past IPM Positions

Associate Researcher, School of Mathematics (2002 - 2007) Post-Doctoral Research Fellow, School of Mathematics (2000 - 2002) Ph.D. Student, School of Mathematics (1996 - 2000)

Non IPM Affiliations

Associate Professor of Shahid Beheshti University

Research Interests

Mathematical Logic, in Particular Bounded Arithmetic, Intuitionistic Logic and Fuzzy Logic

Related Papers

1.	M. Moniri (Joint with S. H. Sajjadi) Regular cuts in models of bounded arithmetic Bull. Sect. Logic Univ. Å�odz (Accepted) [abstract]

2.	Mor. Moniri Fuzzy and intuitionistic fuzzy Turing machines Fundamenta Informaticae 123 (2013), 305-315  [abstract]

3.	Mor. Moniri (Joint with H. Farahani and R. A. Borzooei) Logical characterization of filters on BL-algebras J. of Mult.-Valued Logic and Soft Computing (Accepted) [abstract]

4.	Mor. Moniri Preservation theorems for bounded formulas Arch. Math. Logic 46 (2007), 9-14  [abstract]

5.	Mor. Moniri Model theory of bounded arithmetic with applications to independence results Lect. Notes Log. 26 (2006), 239-247  [abstract]

6.	Mor. Moniri Polynomial induction and length minimization in intuitionistic bounded arithmetic Math. Logic Quart. 51 (2005), 73-76  [abstract]

7.	Mor. Moniri Corrigendum to: "weak arithmetics and Kripke models" Math. Logic Quart. 50 (2004), 637-638  [abstract]

8.	Mor. Moniri Comparing constructive arithmetical theories based on NP-PIND and coNP-PIND J. Logic Comput. 13 (2003), 881-888  [abstract]

9.	S. M. Bagheri and Mor. Moniri Some results on Kripke models over an arbitrary fixed frame Math. Logic Quart. 49 (2003), 479-484  [abstract]

10.	Mor. Moniri Intuitionistic weak arithmetic Arch. Math. Logic 42 (2003), 791-796  [abstract]

11.	Mor. Moniri On two questions about feasibly Constructive Arithmetic Math. Logic Quart. 49 (2003), 425-427  [abstract]

12.	Mor. Moniri Independence results for weak systems of intuitionistic arithmetic Math. Logic Quart. 49 (2003), 250-254  [abstract]

13.	Mor. Moniri Weak arithmetics and Kripke models Math. Logic Quart. 48 (2002), 157--160  [abstract]

14.	Mor. Moniri and Moj. Moniri Some weak fragments of HA and certain closure properties J. Symbolic Logic 67 (2002), 91-103  [abstract]

15.	Mor. Moniri H-theories, fragments of HA and PA-normality Arch. Math. Logic 41 (2002), 101-105  [abstract]