Dr.Mojtaba Aghaei

Dr.Mojtaba Aghaei

aghaei@iut.ac.ir

Office

Mathematical Sciences Dept.

Phone

+98 31 33913648

Fax

+98 31 33912600

Research Interests

Proof Theory

Epistemic Logic

Unprovability and Generalized Ramsey Theory

type: Journal
Title	Date
Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts	2014-05
اثبات قضيه در منطق هاي زماني با كمك رايانه و كاربر	2005-10
مروري بر نظريه اثبات	2005-10
A Gentzen style axiomatization for basic predicate calculus	2003-01
Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic	2001-07
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic	2000-03