The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mohammad Ardeshir: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002