Publications
 Details
 Last Updated on Friday, 09 February 2018 18:56
 Hits: 5052
Books
 E. Nagel, J. Newman, Godel’s Proof , Translation to Farsi, Moula, Tehran, 1985.
 Mathematical Logic, (Farsi), Hermes, Tehran, 2005, 2nd. edition 2007, 4th printing 2014.
 M. van Atten, On Brouwer , Translation to Farsi, Hermes, Tehran, 2008.
Articles

In English:
 Aspects of Basic Logic, PhD thesis.
 (with W. Ruitenburg) Basic Propositional Calculus I, Mathematical Logic Quarterly, (4) 1998, pp. 317343.
 (with M. Moniri) Intuitionistic Open Induction and the Least Number Principle and the Buss Operator, Notre Dame Journal of Formal Logic, (39) 1998, pp. 212220.
 A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic. Studia Logica, (62) 1999, pp. 341352.
 (with M. Aghaei) A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic, Mathematical Logic Quarterly, (2) 2000, pp. 199206.
 (with W. Ruitenburg) Basic Propositional Calculus II, Archive for Mathematical Logic, (40) 2001, 349364.
 (with M. Aghaei) Gentzen style axiomatizations for some conservative extensions of Basic Propositional Logic, Studia Logica, (68) 2001, 263285.
 (with B. Hesaam) Every narrow rooted tree Kripke model of HA is locally PA, Mathematical Logic Quarterly, (48) 2002, 391395.
 (with M. Aghaei) A Gentzen style axiomatization for Basic Predicate Logic, Archive for Mathematical Logic, (42) 2003, 245259.
 (with W. Ruitenburg and S. Salehi) Intuitionistic axiomatization for bounded extension Kripke models, Annals of Pure and Applied Logic, (124)2003, 267285.
 (with M. Alizadeh) On the Linear Lindenbaum Algebra of Basic Propositional Logic, Mathematical Logic Quarterly, (50)2004, 6570.
 Kant’s influence on Brouwer, Hekmat va Fasafeh, No. 1, Vol. 1, Allameh Tabatabai University, pp. 19.
 (with M. Alizadeh) On Löb algebras, Mathematical Logic Quarterly, (52) 2006, pp.95105.
 (with M. Alizadeh) Amalgamation property for the class of Basic algebras and some of its natural extensions, Archive for Mathematical Logic, (45) 2006, 913930.
 (with F. Nabavi) On some questions of Aqvist, Logic Journal of The IGPL, (14) 2006, pp. 113.
 (with B. Hesaam) An Introduction to Basic Arithmetic, Logic Journal of The IGPL, (16) 2008, pp. 113.
 Ibn Sina’s Philosophy of Mathematics, in Sh. Rahman et al. (eds.), The Unity of Science in the Arabic Tradition, Series: Logic, Epistemology and the Unity of Science, Vol. 11, Springer, 2008, pp. 4361.
 Brouwer’s notion of intuition and theory of knowledge by presence, in M. van Atten et al. (eds.), One Hundred Years of Intuitionism, 19072007, Birkhauser, 2008, pp.115130.
 (with R. Ramezanian) Decidability and Specker sequence in intuitionistic mathematics, Mathematical Logic Quarterly, (54)2009, 637648.
 (with R. Ramezanian) The double negation of the intermediate value theorem, Annals of Pure and Applied Logic, (161) 2010, 737744.
 (with M. Alizadeh) On Löb algebras II, Logic Journal of The IGPL, (20) 2012, pp.2744..

(with V. Vaezian) A unification of the basic logics of Sambin and Visser, Logic Journal of The IGPL, (20) 2012, pp. 12021213.
 (with R. Ramezanian) On the constructive notion of closure maps, Mathematical Logic Quarterly, (56) 2012, 348355.

(with R. Ramezanian) A solution to the surprise exam paradox in constructive mathematics, The Review of Symbolic Logic, (5) 2012, pp. 679686.
 (with M. Mojtahedi) Completeness of intermediate logics with doubly negated axioms, Mathematical Logic Quarterly, (60) 2014, pp. 611.
 (with M. Mojtehedi) The de Jongh Property for Basic Arithmetic, Archive for Mathematical Logic, (53) 2014, pp. 881895.
 (with M. Mojtehedi) Reduction of Provability Logics to Provability Logics, Logic Journal of The IGPL, (23) 2015, pp. 842847.
 (with M. Alizadeh and W. Ruitenburg) Boolean algebras in Visser's algebras, Notre Dame Journal of Formal Logic, (57) 2016, pp. 141150.
 (with Z. Ghafouri) The principle of open induction and Specker sequences, Logic Journal of The IGPL, (25) 2017, pp. 232238.
 (with W. Ruitenburg) Latarres, Lattices with an Arrow, to appear in Studia Logica, DOI: https://doi.org/10.1007/s1122501797655
 (with SN. Mousavian) Avicenna on the Primary Propositions, to appear in History and Philosophy of Logic, DOI: https://doi.org/10.1080/01445340.2017.1408739
 (with Z. Ghafouri) Compactness, Colocatedness, Measurability and ED, to appear in Journal of the IGPL, DOI: https://doi.org/10.1093/jigpal/jzx060

In Farsi:
 Brouwerian Intuitionism, The Journal of NashreRiazi, Vol. 9, No. 1, Tehran, 1998 (Farsi).
 Feferman and Lakatos’ Philosophy of Mathematics, Farhang va Andisheye Riyazi,(Farsi), (23), 2002.
Reviews
 R. Boone, Review of G. Moore: Axiom of Choice, The Journal of NashreRiazi, Vol.2, No. 3, Tehran, 1989 (translation to Farsi).
 Review of H. Enderton: A Mathematical Introduction To Logic, The Journal of NashreRiazi, Vol. 2, No. 1, Tehran, 1988 (Farsi).
 Review of D. van Dalen: Logic and Structure, The Journal of NashreRiazi, Vol. 7, No. 1, Tehran, 1996 (Farsi).
 Review of D. van Dalen: Mystic, Geometer and Intuitionist, the life and work of L.E. J. Brouwer, Vol. 1, OPU, 1999, The Journal of NashreRiazi, Vol. 11, No. 1, Tehran, 2000 (Farsi).
 C. Parsons, Review of J. Burges: A subject with no object, The Journal of NashreRiazi, Vol. 11, No. 1, Tehran, 2000 (translation to Farsi).