The SCEAS System
| |||||||

## Search the dblp DataBase
Mohammad Ardeshir:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - 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] - 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] - 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] - Mohammad Ardeshir, Wim Ruitenburg
**Basic Propositional Calculus I.**[Citation Graph (0, 0)][DBLP] Math. Log. Q., 1998, v:44, n:, pp:317-343 [Journal] - 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] - 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] - 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] - 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] **Basic Propositional Calculus II. Interpolation.**[Citation Graph (, )][DBLP]**The double negation of the intermediate value theorem.**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |