Publications

Books

  1. M. Ardeshir, Mathematical Logic, (Persian), Hermes, Tehran, 2005.
  2. E. Nagel, J. Newman, Godel's Proof, Translation to Persian, Moula, Tehran, 1985.

Articles

In Persian

  1. Brouwerian Intuitionism, The Journal of Nashr-e-Riazi, Vol. 9, No. 1, Teharn, 1998.
  2. Feferman and Lakatos' Philosophy of Mathematics, Farhang va Andishe-ye Riazi,  (23), 2002.

In English

  1. (with W. Ruitenburg) Basic Propositional Calculus I, Mathematical Logic Quarterly, (4) 1998, pp. 317-343.
  2. A Translation of Intuitionistic Predicate Logic into Basic Perdicate Logic. Studia Logica, (62) 1999, pp. 341-352.
  3. (with M. Moniri) Intuitionistic Open Induction and the Least Number Principle and the Buss Operator, Notre Dame Journal of Formal Logic, (39) 1998, pp. 212-220.
  4. (with M. Aghaei) A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic, Mathematical Logic Quaterly, (2) 2000, pp. 199-206.
  5. (with W, Ruitenburg) Basic Propositional Calculus II, Archive for Mathematical Logic, (40) 2001, pp. 349-364.
  6. (with M. Aghaei) Gentzen style axiomatizations for some conservative extensions of Basic Propositional Logic, Studia Logica, (68) 2001, pp. 263-285.
  7. (with B. Hesaam) Every narrow rooted tree Kripke model of HA is locally PA, Mathematical Logic Quaterly, (48) 2002, pp. 391-395.
  8. (with M. Aghaei) A Gentzen style axiomatization for Basic Predicate Logic, Archive for Mathematical Logic, (42) 2003, pp. 245-259.
  9. (with W. Ruitenburg and S. Salehi) Intuitionistic axiomatization for bounded extension Kripke models, Annals of Pure and Applied Logic, (124) 2003, pp. 267-285.
  10. (with M. Alizadeh) On the Linear Lindenbaum Algebra of Basic Propositional Logic, Mathematical Logic Quaterly, (50) 2004, pp. 65-70.
  11. Kant's influence on Brouwer, Hekmat va Falsafeh (Wisdom and Philosophy), No. 1, Vol. 1, Allameh Tabatabai University, pp. 1-9.
  12. (with M. alizadeh) On Löb algebras, Mathematical Logic Quaterly, (52) 2006, pp. 95-105.
  13. Ibn Sina's Philosophy of Mathematics, to appear in Encyclopedia series Logic, Epistemology and the Unity of Sciences, Kluwer, 2006.
  14. (with F. Nabavi) On some questions of Aqvist, Logic Journal of The IGPL, (14) 2006, pp. 1-13.
  15. (with M. Alizadeh) Amalgamation property of the class of Basic algebras and some of its natural extensions, to appear in Archive for Mathematical Logic.

Reviews

  1. R. Boone, Review of G. Moore: Axiom of Choice, The Journal of Nashr-e-Riazi, Vol. 2, No. 3, Tehran, 1989 (translation to Persian).
  2. Review of H. Enderton: A Mathematical Introduction to Logic, The Journal of Nashr-e-Riazi, Vol. 2, No. 1, Tehran, 1988 (Persian).
  3. Review of D. van Dalen: Logic and Structure, The Journal of Nashr-e-Riazi, Vol. 7, No. 1, Tehran, 1996 (Persian).
  4. 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 Nashr-e-Riazi, Vol. 11, No. 1, Tehran, 2000 (Persian).
  5. C. Parsons, Review of J. Burges: A subject with no object, The Journal of Nashr-e-Riazi, Vol. 11, No. 1, Tehran, 2000 (translation to Persian).