For Better Performance Please Use Chrome or Firefox Web Browser

Publications

sort descending
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 ), 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