| Basic propositional calculus I M Ardeshir, W Ruitenburg Mathematical Logic Quarterly 44 (3), 317-343, 1998 | 101 | 1998 |
| Aspects of basic logic M Ardeshir PhD dissertation, 1995 | 49 | 1995 |
| The Σ1-provability logic of HA M Ardeshir, M Mojtahedi Annals of Pure and Applied Logic 169 (10), 997-1043, 2018 | 33 | 2018 |
| Basic Propositional Calculus II. Interpolation: II. Interpolation M Ardeshir, W Ruitenburg Archive for Mathematical Logic 40, 349-364, 2001 | 22 | 2001 |
| An introduction to basic arithmetic M Ardeshir, B Hesaam Logic Journal of the IGPL 16 (1), 1-13, 2008 | 17 | 2008 |
| Ibn Sīnā’s Philosophy of Mathematics M Ardeshir The Unity of Science in the Arabic Tradition, 43-61, 2008 | 17 | 2008 |
| A translation of intuitionistic predicate logic into basic predicate logic M Ardeshir Studia Logica 62, 341-352, 1999 | 17 | 1999 |
| Avicenna on the primary propositions SN Mousavian, M Ardeshir History and Philosophy of Logic 39 (3), 201-231, 2018 | 15 | 2018 |
| On the linear Lindenbaum algebra of basic propositional logic M Alizadeh, M Ardeshir Mathematical Logic Quarterly 50 (1), 65-70, 2004 | 15 | 2004 |
| Gentzen-style axiomatizations for some conservative extensions of basic propositional logic M Aghaei, M Ardeshir Studia Logica 68, 263-285, 2001 | 15 | 2001 |
| The de Jongh property for basic arithmetic M Ardeshir, SM Mojtahedi Archive for Mathematical Logic 53, 881-895, 2014 | 13 | 2014 |
| A bounded translation of intuitionistic propositional logic into basic propositional logic M Aghaei, M Ardeshir Mathematical Logic Quarterly: Mathematical Logic Quarterly 46 (2), 199-206, 2000 | 13 | 2000 |
| Reduction of provability logics to Σ1-provability logics M Ardeshir, SM Mojtahedi Logic Journal of the IGPL 23 (5), 842-847, 2015 | 12 | 2015 |
| Amalgamation property for the class of basic algebras and some of its natural subclasses M Alizadeh, M Ardeshir Archive for mathematical logic 45, 913-930, 2006 | 12 | 2006 |
| On Löb algebras M Alizadeh, M Ardeshir Mathematical Logic Quarterly 52 (1), 95-105, 2006 | 10 | 2006 |
| Decidability and Specker sequences in intuitionistic mathematics M Ardeshir, R Ramezanian Mathematical Logic Quarterly 55 (6), 637-648, 2009 | 9 | 2009 |
| Brouwer’s notion of intuition and theory of knowledge by presence M Ardeshir One Hundred Years of Intuitionism (1907–2007) The Cerisy Conference, 115-130, 2008 | 8 | 2008 |
| A solution to the surprise exam paradox in constructive mathematics M Ardeshir, R Ramezanian The Review of Symbolic Logic 5 (4), 679-686, 2012 | 7 | 2012 |
| Intuitionistic axiomatizations for bounded extension Kripke models M Ardeshir, W Ruitenburg, S Salehi Annals of Pure and Applied Logic 124 (1-3), 267-285, 2003 | 7 | 2003 |
| Intuitionistic open induction and least number principle and the Buss operator M Ardeshir, M Moniri Notre Dame Journal of Formal Logic 39 (2), 212-220, 1998 | 7 | 1998 |
