|
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 ), 199-205. |
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 |
|
|
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), 263-285, 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, 245-259 ( 2003 ) |
February |
|
|
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic, Mathematical Logic Quarterly, 46(2000),199-205 |
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 |
|
