Email: mardeshir[at]sharif[dot]edu
Tel: ++98-21-66165611
P.O.Box 11365-9415 Tehran, Iran.
Mohammad Ardeshir
Publications
- Google Scholar Profile
- DBLP List of Publications
- Majid Alizadeh, Mohammad Ardeshir:
Basic propositional logic and the weak excluded middle. Logic Journal of the IGPL 27(3): 371-383 (2019) - Mohammad Ardeshir, S. Mojtaba Mojtahedi:
The Σ1-provability logic of HA. Ann. Pure Appl. Logic 169(10): 997-1043 (2018) - Mohammad Ardeshir, Zahra Ghafouri:
Compactness, colocatedness, measurability and ED. Logic Journal of the IGPL 26(2): 244-254(2018) - Mohammad Ardeshir, Wim Ruitenburg:
Latarres, Lattices with an Arrow. Studia Logica 106(4): 757-788 (2018) - Mohammad Ardeshir, Zahra Ghafouri:
The principle of open induction and Specker sequences. Logic Journal of the IGPL 25(2): 232-238 (2017) - Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg:
Boolean Algebras in Visser Algebras. Notre Dame Journal of Formal Logic 57(1): 141-150 (2016) - Mohammad Ardeshir, S. Mojtaba Mojtahedi:
Reduction of provability logics to Σ1-provability logics. Logic Journal of the IGPL 23(5): 842-847(2015) - Mohammad Ardeshir, S. Mojtaba Mojtahedi:
The de Jongh property for Basic Arithmetic. Arch. Math. Log. 53(7-8): 881-895 (2014) - Mohammad Ardeshir, S. Mojtaba Mojtahedi:
Completeness of intermediate logics with doubly negated axioms. Math. Log. Q. 60(1-2): 6-11 (2014) - Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg:
A new Glivenko Theorem. TACL 2013: 191-194 - Mohammad Ardeshir, Rasoul Ramezanian:
Epistemic Learning Programs A Calculus for Describing Epistemic Action Models. CoRR abs/1304.6276 (2013) - Majid Alizadeh, Mohammad Ardeshir:
On Löb algebras, II. Logic Journal of the IGPL 20(1): 27-44 (2012) - Mohammad Ardeshir, Vahid Vaezian:
A unification of the basic logics of Sambin and Visser. Logic Journal of the IGPL 20(6): 1202-1213 (2012) - Mohammad Ardeshir, Rasoul Ramezanian:
On the constructive notion of closure maps. Math. Log. Q. 58(4-5): 348-355 (2012) - Mohammad Ardeshir, Rasoul Ramezanian:
A solution to the Surprise Exam Paradox in Constructive Mathematics. Rew. Symb. Logic 5(4): 679-686 (2012) - Mohammad Ardeshir, Rasoul Ramezanian:
The double negation of the intermediate value theorem. Ann. Pure Appl. Logic 161(6): 737-744 (2010) - Mohammad Ardeshir, Rasoul Ramezanian:
Decidability and Specker sequences in intuitionistic mathematics. Math. Log. Q. 55(6): 637-648 (2009) - Mohammad Ardeshir, Bardyaa Hesaam:
An Introduction to Basic Arithmetic. Logic Journal of the IGPL 16(1): 1-13 (2008) - Mohammad Ardeshir:
Ibn Sī: nā's Philosophy of Mathematics. The Unity of Science in the Arabic Tradition 2008: 43-61 - 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) - Mohammad Ardeshir, Fateme Nabavi:
On some questions of L. Åqvist. Logic Journal of the IGPL 14(1): 1-13 (2006) - Majid Alizadeh, Mohammad Ardeshir:
On Löb algebras. Math. Log. Q. 52(1): 95-105 (2006) - Majid Alizadeh, Mohammad Ardeshir:
On the linear Lindenbaum algebra of Basic Propositional Logic. Math. Log. Q. 50(1): 65-70 (2004) - Mojtaba Aghaei, Mohammad Ardeshir:
A Gentzen-style axiomatization for basic predicate calculus. Arch. Math. Log. 42(3): 245-259 (2003) - Mohammad Ardeshir, Wim Ruitenburg, Saeed Salehi:
Intuitionistic axiomatizations for bounded extension Kripke models. Ann. Pure Appl. Logic 124(1-3): 267-285 (2003) - Mohammad Ardeshir, Bardyaa Hesaam:
Every Rooted Narrow Tree Kripke Model of HA is Locally PA. Math. Log. Q. 48(3): 391-395 (2002) - Mohammad Ardeshir, Wim Ruitenburg:
Basic Propositional Calculus II. Interpolation. Arch. Math. Log. 40(5): 349-364 (2001) - Mojtaba Aghaei, Mohammad Ardeshir:
Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic. Studia Logica 68(2): 263-285 (2001) - Mojtaba Aghaei, Mohammad Ardeshir:
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic. Math. Log. Q. 46(2): 199-206 (2000) - Mohammad Ardeshir:
A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic. Studia Logica 62(3): 341-352 (1999) - Mohammad Ardeshir, Wim Ruitenburg:
Basic Propositional Calculus I. Math. Log. Q. 44: 317-343 (1998) - 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)
- Majid Alizadeh, Mohammad Ardeshir:
