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

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

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

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

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

A Gentzen Style Axiomatization for Basic Predicate Calculus, Archive for Mathematical Logic, 42, 245259 ( 2003 ) 
February 

A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic, Mathematical Logic Quarterly, 46(2000),199205 
February 

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

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

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

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, 
October 

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

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

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

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

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

Abounded Translation of Intuitionistic Propositional Logic into Basic Propositional logic, Mathematical Logic Quarterly, 46 ( 2000 ), 199205. 
February 

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

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