Search the dblp DataBase

Publications of Author

1. Morteza Moniri
   Intuitionistic weak arithmetic. [Citation Graph (0, 0)][DBLP]
   Arch. Math. Log., 2003, v:42, n:8, pp:791-796 [Journal]
   
2. Morteza Moniri, Mojtaba Moniri
   Some Weak Fragments of HA and Certain Closure Properties. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2002, v:67, n:1, pp:91-103 [Journal]
   
3. Morteza Moniri
   Comparing Constructive Arithmetical Theories Based on NP-PIND and coNP-PIND. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2003, v:13, n:6, pp:881-888 [Journal]
   
4. Morteza Moniri
   An Independence Result for Intuitionistic Bounded Arithmetic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:2, pp:199-204 [Journal]
   
5. Seyed Mohammad Bagheri, Morteza Moniri
   Some results on Kripke models over an arbitrary fixed frame. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2003, v:49, n:5, pp:479-484 [Journal]
   
6. Morteza Moniri
   Weak Arithmetics and Kripke Models. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2002, v:48, n:1, pp:157-160 [Journal]
   
7. Morteza Moniri
   Independence results for weak systems of intuitionistic arithmetic. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2003, v:49, n:3, pp:250-254 [Journal]
   
8. Morteza Moniri
   On two questions about feasibly constructive arithmetic. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2003, v:49, n:4, pp:425-427 [Journal]
   
9. Morteza Moniri
   Corrigendum to "Weak Arithmetics and Kripke Models". [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2004, v:50, n:6, pp:637-638 [Journal]
   
10. Morteza Moniri
    Polynomial induction and length minimization in intuitionistic bounded arithmetic. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2005, v:51, n:1, pp:73-76 [Journal]
    
11. Morteza Moniri
    Preservation theorems for bounded formulas. [Citation Graph (0, 0)][DBLP]
    Arch. Math. Log., 2007, v:46, n:1, pp:9-14 [Journal]
    
12. 
    H-theories, fragments of HA and PA-normality. [Citation Graph (, )][DBLP]