تحصیلات
- کارشناسی B.Sc, ---, ریاضی محض, دانشگاه صنعتی شریف (تهران)
- دکتری حرفهای, ---, علوم نظری کامپیوتر, دانشگاه تورکو (فنلاند)
- دکتری حرفهای, ---, منطق ریاضی, فرهنگستان علوم لهستان (ورشو)
- کارشناسی ارشد M.Sc, ---, منطق ریاضی, دانشگاه علوم دقیقه (ورشو، لهستان)
مقالات چاپ شده در نشریات بین المللی
- Salehi Saeed, 2002/10/01, Decidable Formulas of Intuitionistic Primitive Recursive Arithmetic, Reports on Mathematical Logic, 36, 55-61
- Salehi Saeed, 2003/05/01, Provably total functions of Basic Arithmetic, MATHEMATICAL LOGIC QUARTERLY, 49, 316-322
- Ardeshir Mohammad, Ruitenberg Wim, Salehi Saeed, 2003/10/01, Intuitionistic axiomatizations for bounded extension Kripke models, ANNALS OF PURE AND APPLIED LOGIC, 124, 267-285
- Salehi Saeed, 2005/10/01, Polynomially Bounded Recursive Realizability, Notre Dame Journal of Formal Logic, 46, 407-417
- Salehi Saeed, 2005/10/01, Varieties of Tree Languages Definable by Syntactic Monoids, Acta Cybernetica, 17, 21-41
- Salehi Saeed, Petkovic Tatjana, 2005/10/01, Positive varieties of tree languages, Theoretical Computer Science, 347, 1-35
- Salehi Saeed, 2005/10/01, Congruence preserving functions of Wilke’s tree algebras, Algebra Universalis, 53, 451-470
- Salehi Saeed, Steinby Magnus, 2007/10/01, Tree algebras and varieties of tree languages, Theoretical Computer Science, 377, 1-24
- Salehi Saeed, Steinby Magnus, 2007/10/01, Varieties of many-sorted recognizable sets, Pure Mathematics and Applications, 18, 319-343
- Salehi Saeed, 2012/10/01, Separating bounded arithmetical theories by Herbrand consistency, Journal of Logic and Computation, 22, 545-560
- Salehi Saeed, 2012/10/01, Herbrand consistency of some arithmetical theories, Journal of Symbolic Logic, 77, 807-827
- Salehi Saeed, 2013/10/01, Herbrand consistency of some finite fragments of bounded arithmetical theories, Archive for Mathematical Logic, 52, 317-333
- Salehi Saeed, 2014/11/01, Gödel’s Incompleteness Phenomenon---Computationally, Philosophia Scientiae, 18, 23-37
- Salehi Saeed, Seraji Payam, 2016/07/27, Gödel–Rosser's Incompleteness Theorem, generalized and optimized for definable theories, JOURNAL OF LOGIC AND COMPUTATION, 00, 7
- Safari Parvin, Salehi Saeed, 2016/10/12, Kripke semantics for fuzzy logics, SOFT COMPUTING, 00, 6
- Salehi Saeed, 2018/03/07, On Axiomatizability of the Multiplicative Theory of Numbers, FUNDAMENTA INFORMATICAE, 159, 279-296
- Salehi Saeed, Seraji Payam, 2018/05/01, On constructivity and the Rosser property: a closer look at some Gödelean proofs, ANNALS OF PURE AND APPLIED LOGIC, --, -
- Lajevardi Kaave, Salehi Saeed, 2018/10/26, On the Arithmetical Truth of Self-Referential Sentences, Theoria, 85, 8-17
- Assadi Ziba, Salehi Saeed, 2019/06/01, On decidability and axiomatizability of some ordered structures, SOFT COMPUTING, -23, -3615-3526
- Salehi Saeed, Zarza Mohammadsaleh, 2020/01/01, First-Order Continuous Induction and a Logical Study of Real Closed Fields, Bulletin of the Iranian Mathematical Society, 46, 225-243
- Salehi Saeed, 2020/03/01, ON THE DIAGONAL LEMMA OF GÖDEL AND CARNAP, BULLETIN OF SYMBOLIC LOGIC, 26, 80-88
- Salehi Saeed, 2020/09/01, On Rudimentarity, Primitive Recursivity and Representability, Reports on Mathematical Logic, 55, 73-85
- Salehi Saeed, 2020/11/03, ‘Sometime a paradox’, now proof: Yablo is not first order, LOGIC JOURNAL OF THE IGPL, 00, 00-00
- Salehi Saeed, Lajevardi Kaave, 2021/02/08, There May Be Many Arithmetical Gödel Sentences†, Philosophia Mathematica, 26, 1-10
مقالات چاپ شده در نشریات معتبر داخلی
- Karimi Ahmad, Salehi Saeed, 2016/04/09, Diagonal Arguments and Fixed Points, Bulletin of the Iranian Mathematical Society, 00, 15
- Salehi Saeed, 2021/01/01, From Intuitionism to Many-Valued Logics Through Kripke Models, Logic, Epistemology, and the Unity of Science, 49, 339-348
- صالحی پور مهر سعید، 1389/07/01، پژوهش های ریاضی به زبان ساده: نظریه منطقی اعداد، خبرنامه انجمن ریاضی ایران، 22، 16
- صفری پروین، صالحی پور مهر سعید، 1398/06/02، ارزش ها و رابط ها در برخی منطق های غیر کلاسیک، پژوهش های نوین در ریاضی، 5، 31-36
همایش‌های بین المللی
- Salehi Saeed, Logical Approaches to Barriers in Computing and Complexity, announcer, complete article, Herbrand Consistency of IΔ0 and IΔ0+Ω1, 2010/02/17, 2010/02/20
- Salehi Saeed, Logic Colloquium, announcer, brief article, On Herbrand Consistency of Bounded Arithmetics, 2011/07/11, 2011/07/16
- Salehi Saeed, Logic, Methodology and Philosophy of Science, announcer, brief article, Gödel's Incompleteness Phenomenon from Computational Viewpoint, 2011/07/19, 2011/07/26
- Salehi Saeed, Contemporary Issues in Computer and Information Sciences, announcer, complete article, Computation in Logic and Logic in Computation, 2012/05/29, 2012/05/31
- Salehi Saeed, Frontiers in Mathematical Sciences, announcer, complete article, Axiomatizing Mathematical Theories: Multiplication, 2012/12/25, 2012/12/27
- Karimi Ahmad, Salehi Saeed, Frontiers in Mathematical Sciences, announcer, complete article, Diagonalizing Out by Fixed-Points and Self-Reference, 2013/12/25, 2013/12/27
- Salehi Saeed, 10th International Tbilisi Summer School in Logic and Language, announcer, complete article, Axiomatic Mathematics: Issues of Decidability in Logic, 2014/09/22, 2014/09/27
- Salehi Saeed, 5th World Congress on Universal Logic, announcer, complete article, Theorems of Tarski and Gödel's second incompleteness---computationally, 2015/06/25, 2015/06/30
- Salehi Saeed, Swamplandia 2016: Meta-arithmetical results and their philosophical meaning, announcer, complete article, Theoremizing Paradoxes: Turning Puzzles into Proofs, 2016/05/30, 2016/06/01
- Salehi Saeed, Workshop on Proof Theory, Modal Logic and Reflection Principles, announcer, complete article, Diagonal-free proofs of the Diagonal Lemma, 2017/10/17, 2017/10/20
