 Details

Last Updated on Sunday, 18 May 2014 06:16

Hits: 4378
Current PhD student
 Rahim Ramezanian
 Zahra Ghafouri
Former PhD students
 Mojtaba Aghaei, the title of dissertation: Gentzen style Axiomatizations for Basic Logic,May 2000, Institute for Studies in Theoretical Physics and Mathematics (IPM), Tehran.
 Farzad Didehvar, the title of dissertation: Some concepts and problems in theory of complexity in structures, August, 2002, Institute for Studies in Theoretical Physics and Mathematics (IPM), Tehran.
 Majid Alizadeh, the title of dissertation: Algebraic Aspects of Basic Propositional Logic , June 2004, Institute for Studies in Theoretical Physics and Mathematics (IPM), Tehran.
 Rasoul Ramezanian, the title of dissertation: The Temporal Continumm and Dynamic Computaions, August, 2008, Department of Mathematics, Sharif University of Technology,
Tehran.
 Fateme Nabavi, the title of dissertation: Deontic Logic of Islamic Jurisprudence, October, 2009, Department of Mathematics, Sharif University of Technology, Tehran.
 Mojtaba Mojtahedi, the title of dissertation: TheProvability Logic of Intuitionistic Arithmetic, October, 2013, Department of Mathematics, Sharif University of Technology,Tehran.