Search the dblp DataBase

Publications of Author

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