“Morteza Moniri”

Tel:  (+98-21) 2310 ext. 2115
Fax:  (+98)(21) 22290648

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