 | 2008 |
|---|
| 14 |       | Mohammad Ardeshir,
Bardyaa Hesaam:
An Introduction to Basic Arithmetic.
Logic Journal of the IGPL 16(1): 1-13 (2008) |
| 2006 |
|---|
| 13 | | Majid Alizadeh,
Mohammad Ardeshir:
Amalgamation property for the class of basic algebras and some of its natural subclasses.
Arch. Math. Log. 45(8): 913-930 (2006) |
| 12 | | Mohammad Ardeshir,
Fateme Nabavi:
On some questions of L. Åqvist.
Logic Journal of the IGPL 14(1): 1-13 (2006) |
| 11 | | Majid Alizadeh,
Mohammad Ardeshir:
On Löb algebras.
Math. Log. Q. 52(1): 95-105 (2006) |
| 2004 |
|---|
| 10 | | Majid Alizadeh,
Mohammad Ardeshir:
On the linear Lindenbaum algebra of Basic Propositional Logic.
Math. Log. Q. 50(1): 65-70 (2004) |
| 2003 |
|---|
| 9 | | Mohammad Ardeshir,
Wim Ruitenburg,
Saeed Salehi:
Intuitionistic axiomatizations for bounded extension Kripke models.
Ann. Pure Appl. Logic 124(1-3): 267-285 (2003) |
| 8 | | Mojtaba Aghaei,
Mohammad Ardeshir:
A Gentzen-style axiomatization for basic predicate calculus.
Arch. Math. Log. 42(3): 245-259 (2003) |
| 2002 |
|---|
| 7 | | Mohammad Ardeshir,
Bardyaa Hesaam:
Every Rooted Narrow Tree Kripke Model of HA is Locally PA.
Math. Log. Q. 48(3): 391-395 (2002) |
| 2001 |
|---|
| 6 | | Mohammad Ardeshir,
Wim Ruitenburg:
Basic Propositional Calculus II. Interpolation.
Arch. Math. Log. 40(5): 349-364 (2001) |
| 5 |  | Mojtaba Aghaei,
Mohammad Ardeshir:
Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic.
Studia Logica 68(2): 263-285 (2001) |
| 2000 |
|---|
| 4 | | Mojtaba Aghaei,
Mohammad Ardeshir:
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic.
Math. Log. Q. 46(2): 199-206 (2000) |
| 1999 |
|---|
| 3 | | Mohammad Ardeshir:
A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic.
Studia Logica 62(3): 341-352 (1999) |
| 1998 |
|---|
| 2 | | Mohammad Ardeshir,
Wim Ruitenburg:
Basic Propositional Calculus I.
Math. Log. Q. 44: 317-343 (1998) |
| 1 | | Mohammad Ardeshir,
Mojtaba Moniri:
Intuitionistic Open Induction and Least Number Principle and the Buss Operator.
Notre Dame Journal of Formal Logic 39(2): 212-220 (1998) |
