Welcome to Dr.Mojtaba Aghaei

No front page content has been created yet.

Office : Mathematical Sciences Dept. Email : aghaei@cc.iut.ac.ir Phone : +98 31 33913648 Fax : +98 31 33912600 Web Site : ِDr.Mojtaba Aghaei

Assistant Professor

Research Fields : Proof Theory

Epistemic Logic

Unprovability and Generalized Ramsey Theory

Teaching

Last News

همايش ساليانه منطق رياضي و كاربردهاي آن27 و 28 آذر ماه 1392

Recent Publications

A Gentzen Style Axiomatization for Basic Predicate Calculus, Archive for Mathematical Logic, 42, 245-259 ( 2003 )

A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic, Mathematical Logic Quarterly, 46(2000),199-205

Gentzen Style Axiomatization for Dummett Logic, Logic Groups Seminars, Institute for Studies in Theoretical Physics and Mathematics, Tehran, Fall 1999,

Proof Theory, Workshop of Mathematical Logic Isfahan University of Technology,Isfahan, Iran, Spring 2004

Pithagorian Numbers, The first seminar on the Philosophy of Mathematics in Iran, Shahid Beheshti University, Iran Fall 2001,

A Bounded Translation from Intuitionistic Propositional Calculus into Basic Propositional Calculus, Logic Groups Seminars, Institute for Studies in Theoretical Physics and Mathematics, Tehran, Fall 1998,

Lambda Calculus for Basic Propositional Calculus, Logic Colloquium 2004, Torino, Italy, Summer 2004

A Gentzen Style Axiomatization for Basic Predicate Calculus, Logic Colloquium 2000, Paris, France, Summer 2000,

The Liar Paradox, Logic groups Seminars, Institute for Studies in Theoretical Physics and Mathematics, Tehran, Spring 1997,

Motivations of Basic Logic,Utrecht University, The Netherlands, Spring 2004

Gentzen Style Axiomatization and Interpolation Theorems for Basic Predicate Calculus, Logic Colloquium 2000, Viena, Austria, Summer 2000

Abounded Translation of Intuitionistic Propositional Logic into Basic Propositional logic, Mathematical Logic Quarterly, 46 ( 2000 ), 199-205.

Coherence Theorems via Knot Theory, Department of Mathematics, Isfahan University of Technology, Fall 1996,

Axiomatizations of Basic Logic, Utrecht University, The Netherlands, Spring 2004

Gentzen Style Axiomatization for some Conservative Extensions of Basic Propositional Calculus, Logic Colloquium 2000, Paris, Summer 2000

Gentzen Style Axiomatization for some Conservative Extensions of Basic Propositional Calculus, Studia Logica, 68(2), 263-285, July 2001

Combinatorial un provability Proofs and their model theoretic counterparts, Notre Dame Journal of Formal Logic

Basic Logic And its Axiomatizations, Tarbiat Moddares University, Tehran Summer 2004,

A Gentzan Style Axiomatization for Basic Predicate Calculus, 34th Iranian Mathematics Conference, Shahrood, Iran, August 2003,

Search form

Welcome to Dr.Mojtaba Aghaei

Teaching

Last News

Recent Publications