Follow
Mohammad Ardeshir
Mohammad Ardeshir
Professor of Mathematics, Sharif University of Technology
Verified email at sharif.edu
Title
Cited by
Cited by
Year
Basic propositional calculus I
M Ardeshir, W Ruitenburg
Mathematical Logic Quarterly 44 (3), 317-343, 1998
901998
Aspects of basic logic
M Ardeshir
PhD dissertation, 1995
451995
The Σ1-provability logic of HA
M Ardeshir, M Mojtahedi
Annals of Pure and Applied Logic 169 (10), 997-1043, 2018
272018
Basic Propositional Calculus II. Interpolation: II. Interpolation
M Ardeshir, W Ruitenburg
Archive for Mathematical Logic 40, 349-364, 2001
212001
An introduction to basic arithmetic
M Ardeshir, B Hesaam
Logic Journal of the IGPL 16 (1), 1-13, 2008
162008
Ibn Sīnā’s Philosophy of Mathematics
M Ardeshir
The Unity of Science in the Arabic Tradition, 43-61, 2008
162008
On the linear Lindenbaum algebra of basic propositional logic
M Alizadeh, M Ardeshir
Mathematical Logic Quarterly 50 (1), 65-70, 2004
152004
A translation of intuitionistic predicate logic into basic predicate logic
M Ardeshir
Studia logica 62, 341-352, 1999
141999
Avicenna on the primary propositions
SN Mousavian, M Ardeshir
History and Philosophy of Logic 39 (3), 201-231, 2018
132018
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic
M Aghaei, M Ardeshir
Studia Logica 68, 263-285, 2001
132001
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
132000
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
122006
Reduction of provability logics to Σ1-provability logics
M Ardeshir, SM Mojtahedi
Logic Journal of the IGPL 23 (5), 842-847, 2015
112015
The de Jongh property for basic arithmetic
M Ardeshir, SM Mojtahedi
Archive for Mathematical Logic 53, 881-895, 2014
112014
On Löb algebras
M Alizadeh, M Ardeshir
Mathematical Logic Quarterly 52 (1), 95-105, 2006
92006
Decidability and Specker sequences in intuitionistic mathematics
M Ardeshir, R Ramezanian
Mathematical Logic Quarterly 55 (6), 637-648, 2009
82009
THE Σ_1-PROVABILITY LOGIC OF HA^*.
M Ardeshir, SM Mojtahedi
J. Symb. Log. 84 (3), 1118-1135, 2019
72019
A solution to the surprise exam paradox in constructive mathematics
M Ardeshir, R Ramezanian
The Review of Symbolic Logic 5 (4), 679-686, 2012
72012
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
72003
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
71998
The system can't perform the operation now. Try again later.
Articles 1–20