Mohammad Ardeshir

	2012
17		Majid Alizadeh, Mohammad Ardeshir: On Löb algebras, II. Logic Journal of the IGPL 20(1): 27-44 (2012)
	2010
16		Mohammad Ardeshir, Rasoul Ramezanian: The double negation of the intermediate value theorem. Ann. Pure Appl. Logic 161(6): 737-744 (2010)
	2009
15		Mohammad Ardeshir, Rasoul Ramezanian: Decidability and Specker sequences in intuitionistic mathematics. Math. Log. Q. 55(6): 637-648 (2009)
	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)

Coauthor Index

1	Mojtaba Aghaei	[4] [5] [8]
2	Majid Alizadeh	[10] [11] [13] [17]
3	Bardyaa Hesaam	[7] [14]
4	Mojtaba Moniri	[1]
5	Fateme Nabavi	[12]
6	Rasoul Ramezanian	[15] [16]
7	Wim Ruitenburg	[2] [6] [9]
8	Saeed Salehi	[9]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page