Dr.Mojtaba Aghaei
| Title | DOI | type | Conference Title |
|---|---|---|---|
| Combinatorial Unprovability Proofs and Their Model-Theoretic Counterparts | # | Journal | |
| A Gentzen style axiomatization for basic predicate calculus | # | Journal | |
| Gentzen-Style Axiomatizations for Some Conservative Extensions of Basic Propositional Logic | # | Journal | |
| A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic | # | Journal |
