مقالات علمی چاپ شده در مجلات

1. "On a Generalization of Heyting Algebras I"
   Amirhossein Akbar Tabatabai, Majid Alizadeh, Masoud Memarzadeh
   Studia Logica, Vol. ---------------------------, 2024
2. "Remarks on uniform interpolation property"
   Majid Alizadeh
   LOGIC JOURNAL OF THE IGPL, Vol. ------, 2023
3. "Linear Temporal Public Announcement Logic: A New Perspective for Reasoning About the Knowledge of Multi-classifiers"
   Ali Movaghar, Majid Alizadeh, Amirhoshang Hoseinpour Dehkordi
   Bulletin of the Iranian Mathematical Society, Vol. 49, No 2, 2023
4. "Interpolation Property on Visser's Formal Propositional Logic"
   Majid Alizadeh, Masoud Memarzadeh
   Bulletin of the Section of Logic, Vol. 51, No 3, pp.297-316, 2022
5. "Unification types in Euclidean modal logics"
   Majid Alizadeh, Seyed Mojtaba Mojtahedi, Mohamad Ardeshir, phlippe Balbiani
   Logic Journal of the IGPL, Vol. ------, 2022
6. "Lyndon’s interpolation property for the logic of strict implication"
   Naarbeh Aboolean, Majid Alizadeh
   Logic Journal of the IGPL, Vol. -----------, 2020
7. "Understanding epidemic data and statistics: A case study of COVID‐19"
   Amirhoshang Hoseinpour Dehkordi, Majid Alizadeh, Pegah Derakhshan, Peyman Babazadeh, Arash Jahandideh
   JOURNAL OF MEDICAL VIROLOGY, Vol. -------, 2020
8. "REMARKS ON STABLE FORMULAS IN INTUITIONISTIC LOGIC"
   Majid Alizadeh, Ali Bibaak
   Logic and Logical Philosophy, Vol. 11, No 11, 2018
9. "Basic propositional logic and the weak excluded middle"
   Majid Alizadeh, Mohammad Ardeshir
   Logic Journal of the IGPL, Vol. -----------, 2018
10. "Boolean Algebras in Visser Algebras"
    Majid Alizadeh, محمد اردشیر, Wim Ruitenburg
    Notre Dame Journal of Formal Logic, Vol. 57, No 1, pp.141-150, 2016
11. "Counting weak Heyting algebras on finite distributive lattices"
    Majid Alizadeh, Nima Joharizadeh
    Logic Journal of the IGPL, Vol. 2, No 23, 2015
12. "UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS"
    Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono
    Review of Symbolic Logic, Vol. 7, No 3, pp.455-483, 2014
13. "Complement of Special Chordal Graphs and Vertex Decomposability"
    Majid Alizadeh, Afshin Goodarzi
    Bulletin of the Iranian Mathematical Society, Vol. 39, No 4, pp.619-625, 2013
14. "On the diameter and girth of zero - divisor graphs of posets"
    Majid Alizadeh, A K Das , Hamid Reza Maimani , Mohamad Reza Pournaki , Siamak Yassemi
    DISCRETE APPLIED MATHEMATICS, Vol. 160, No 9, pp.1319-1324, 2012
15. "Completion and amalgamation of bounded distributive quasi lattices"
    Majid Alizadeh, Antonio Ledda , Hector Freytes
    Logic Journal of the IGPL, Vol. 19, No 1, pp.110-120, 2009
16. "Completion of Basic Algebras"
    Majid Alizadeh
    Lecture Notes in Artificial Intelligence, Vol. 5514, No 5514, pp.72-83, 2009
17. "Amalgamation property for the class of basic algebras and some of its natural subclasses"
    Majid Alizadeh, Mohammad Ardeshir
    ARCHIVE FOR MATHEMATICAL LOGIC, Vol. 45, No 8, pp.913-930, 2006
18. "On Löb algebras"
    Majid Alizadeh, محمد اردشیر
    MATHEMATICAL LOGIC QUARTERLY, Vol. 52, No 1, pp.95-105, 2006
19. "On the linear Lindenbaum algebra of Basic Propositional Logic"
    Majid Alizadeh, Mohammad Ardeshir
    MATHEMATICAL LOGIC QUARTERLY, Vol. 50, No 1, pp.65-70, 2004
20. "تناظر کوری-هاوارد چیست؟"
    مجید علی زاده
    مجله علوم رایانشی، نسخه 8، شماره 4، صفحات:78-86، 1402

مقالات علمی ارائه شده در همایش‌ها

1. "Generalized Heyting Algebras and Duality"
   Masoud Memarzadeh, Majid Alizadeh, Amir Hossein AKbar Tabatabayee
   BLAST 2021, 2021
2. "An epistemic logical view of Deep Neural Networks"
   Amirhoshang Hoseinpour Dehkordi, Majid Alizadeh, Ebrahim Ardeshir-Larijani, Ali Movaghar
   8th IPM International Conference on Fundamentals of Software Engineering (FSEN 2019), 2019
3. "Terminating Hypersequent calculus for LC"
   Narbeh Aboolian, Majid Alizadeh, Farzaneh Derakhshan
   workshop on modal logic and its application in Computer Science, 2016
4. "Uniform interpolation in weak Grzegorczyk logic and Godel-Lob logic"
   Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono
   LOG I C COL LOQU I U M 2 015- 15th Conference of Logic, Methodology and Philosophy of Science, CLMPS 2015, 2015
5. "Uniform interpolation in substructural predicate logics without contraction rule"
   Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono
   The Second Asian Workshop on Philosophical Logic, 2014
6. "Uniform and Lyndon interpolations in commutative substructural logics"
   Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono
   Frontiers in Mathematical Sciences, 2013
7. "Residuation on Visser Algebras"
   Majid Alizadeh
   Annual seminar on mathematical logics and its application, 2013
8. "A new Glivenko Theorem"
   Majid Alizadeh, Wim Ruitenburg, Mohammad Ardeshir
   Topology, Algebra, and Categories in Logic 2013, 2013
9. "Modal basic propositional logic"
   Majid Alizadeh, محمد اردشیر, Wim Ruitenburg
   Logic Algebra and Truth Degrees 2012, 2012
10. "Completions of Basic algebras and Lob algebras"
    Majid Alizadeh, Hiroakira Ono
    Non-classical Modal and Predicate Logics(NCMPL2011), 2011
11. "A Duality for Quasi Ordered Structures"
    Antonio Ledda, Hector Freytes, Majid Alizadeh
    Logic Algebra and Truth Degrees 2010, 2010
12. "A DUALITY FOR QUASI ORDERED STRUCTURES (I)"
    Antonio Ledda, Hector Freytes, Majid Alizadeh
    Algebra and Substructural Logics-take four, 2010
13. "Completion and amalgamation of bounded distributive quasi lattices"
    Hector Freytes, Antonio Ledda, Majid Alizadeh
    World Congress and School on Universal Logic III, 2010
14. "Algebraic analysis of Visser's formal propositional logic"
    Majid Alizadeh
    ALGEBRAIC AND TOPOLOGICAL METHODS IN NON-CLASSICAL LOGICS III (TANCL'07), 2007
15. "منطق پویا لوکال"
    علیرضا محمودیان، امیر حسین اکبر طباطبایی، مجید علی زاده
    منطق ریاضی و کاربردهای آن، 1403
16. "منطق زمانی و تحلیل دانش سیستم های چند عاملی"
    امیر هوشنگ حسین پور دهکردی، مجید علی زاده، علی موقر
    هشتمین همایش سالانه انجمن منطق ایران، 1399
17. "----------------"
    مجید علی زاده، ناربه ابولیان
    پنجمین همایش سالانه انجمن منطق ایران، 1396
18. "مطالعه ای در منطق شهودگرایی گزاره ای ،ONNILLI"
    علی بیباک، مجید علی زاده
    سومین همایش سالانه انجمن منطق ایران، 1394
19. "درون یابی یکنواخت برای منطق GD اثبات نحوی"
    ناربه آبولیان، فرزانه درخشان، مجید علی زاده
    سومین همایش سالانه انجمن منطق ایران، 1394
20. "یک دستگاه حساب رشته ای بدون قاعده ادغام برای منطق پایه"
    مجید علی زاده، فرزانه درخشان، Mohammad Ardeshir
    همایش سالیانه منطق ریاضی و کاربردهای آن، 1392
21. "درون یابی یکنواخت برای منطق پایه"
    مجید علی زاده، فرزانه درخشان
    اولین سمینار سالانه انجمن منطق ایران، 1392
22. "منطق زیر ساختی و درون یابی یکنواخت"
    مجید علی زاده
    اولین سمینار سالانه انجمن منطق ایران، 1392