Educations
- B.Sc, ---, Pure Mathematics, Sharif University of Technology (Tehran)
- Ph.D, ---, Theoretical Computer Science, University of Turku (Finland)
- Ph.D, ---, Mathematical Logic, Polish Academy of Sciences (Warsaw)
- M.Sc, ---, Mathematical Logic, School of Exact Sciences (Warsaw, Poland)
Papers in International Journals
- 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, Varieties of many-sorted recognizable sets, Pure Mathematics and Applications, 18, 319-343
- Salehi Saeed, Steinby Magnus, 2007/10/01, Tree algebras and varieties of tree languages, Theoretical Computer Science, 377, 1-24
- 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, 2020/12/01, GÖDEL’S SECOND INCOMPLETENESS THEOREM: HOW IT IS DERIVED AND WHAT IT DELIVERS, BULLETIN OF SYMBOLIC LOGIC, 26, 241-256
- Salehi Saeed, Lajevardi Kaave, 2021/02/08, There May Be Many Arithmetical Gödel Sentences†, Philosophia Mathematica, 26, 1-10
- Salehi Saeed, 2021/05/10, Tarski’s Undefinability Theorem and the Diagonal Lemma, LOGIC JOURNAL OF THE IGPL, 0, 0-0
Papers in National Journals
- Karimi Ahmad, Salehi Saeed, 2016/04/09, Diagonal Arguments and Fixed Points, Bulletin of the Iranian Mathematical Society, 00, 15
- Salehi Saeed, 2010/09/23, Logical Number Theory, Newsletter of the Iranian Mathematical Society, 22, 16
Presented Papers in International Conferences
- 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
Presented Papers in National Conferences
- Salehi Saeed, IPM-Isfahan Workshop on Various Aspects of Modality, announcer, brief article, Turning Yablo's Paradoxes into Modality Theorems, 2016/05/12, 2016/05/12
- Homaei Hazhir, jalilvand Manizheh, Salehi Saeed, falahi masoume, The 11th Seminar on Probability and Stochastic Processes, poster presentation, complete article, generalized power semicircle distribution, 2017/08/30, 2017/08/31
-
چنانچه بخشی از اطلاعات فردی جنابعالی در CV انگلیسی نمایش داده نمی
شود به دلیل نبودن معادل لاتین آن می باشد و جهت تکمیل آن می توانید به کارگزینی مراجعه بفرمایید
-
چنانچه برخی از فعالیتهای شما در CV انگلیسی نمایش داده نمی شود، ممکن است به دلیل نبودن معادل لاتین آن
باشد و
جهت
تکمیل ان می توانید به لیست فعالیتهای مربوطه مراجعه و فیلدهای خالی را پر کنید
