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