menu
Majid Alizadeh

Associate Professor

Update: 2026-09-23

Majid Alizadeh

دانشکده ریاضی، آمار و علوم کامپیوتر / گروه آموزشی علوم کامپیوتر

Journal Paper

  1. "On a Generalization of Heyting Algebras II"
    Amir Hossain Akbar Tabatabai, Majid Alizadeh, MASOUD MEMARZADEHZEVAREH
    Studia Logica, Vol. -------------------, 2026
  2. "A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic"
    Amir Hossain Akbar Tabatabai, Majid Alizadeh, علیرضا محمودیان
    Studia Logica, Vol. ----, 2026
  3. "Meet MASKS: integrating distributed knowledge and verification for multi-agent systems"
    Majid Alizadeh, Amirhoshang Hoseinpour Dehkordi, Ali Movaghar
    SOFT COMPUTING, Vol. 29, No 8, pp.4091-4106, 2025
  4. "On a Generalization of Heyting Algebras I"
    Amirhossein Akbar Tabatabai, Majid Alizadeh, Masoud Memarzadeh
    Studia Logica, Vol. 113, 2024
  5. "Remarks on uniform interpolation property"
    Majid Alizadeh
    LOGIC JOURNAL OF THE IGPL, Vol. 32, No 5, pp.810-814, 2023
  6. "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
  7. "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
  8. "Unification types in Euclidean modal logics"
    Majid Alizadeh, Mohamad Ardeshir, phlippe Balbiani, Seyed Mojtaba Mojtahedi
    Logic Journal of the IGPL, Vol. 31, No 3, pp.422-440, 2022
  9. "Lyndon’s interpolation property for the logic of strict implication"
    Naarbeh Aboolean, Majid Alizadeh
    Logic Journal of the IGPL, Vol. 30, No 1, pp.34-70, 2020
  10. "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. 92, No 7, 2020
  11. "REMARKS ON STABLE FORMULAS IN INTUITIONISTIC LOGIC"
    Majid Alizadeh, Ali Bibaak
    Logic and Logical Philosophy, Vol. 28, No 2, 2018
  12. "Basic propositional logic and the weak excluded middle"
    Majid Alizadeh, Mohammad Ardeshir
    Logic Journal of the IGPL, Vol. -----------, 2018
  13. "Boolean Algebras in Visser Algebras"
    Majid Alizadeh, محمد اردشیر, Wim Ruitenburg
    Notre Dame Journal of Formal Logic, Vol. 57, No 1, pp.141-150, 2016
  14. "Counting weak Heyting algebras on finite distributive lattices"
    Majid Alizadeh, Nima Joharizadeh
    Logic Journal of the IGPL, Vol. 2, No 23, 2015
  15. "UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS"
    Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono
    Review of Symbolic Logic, Vol. 7, No 3, pp.455-483, 2014
  16. "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
  17. "AN IDEAL THEORETIC APPROACH TO COMPLETE PARTITE ZERO-DIVISOR GRAPHS OF POSETS"
    Majid Alizadeh, Hamid Reza Meymani, Mohammad Reza Pournaki , Siamak Yassemi
    JOURNAL OF ALGEBRA AND ITS APPLICATIONS, Vol. 12, No 2, pp.1-11, 2012
  18. "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
  19. "On Lob algebras II"
    Majid Alizadeh, Mohammad Ardeshir
    Logic Journal of the IGPL, Vol. 20, No 1, pp.27-44, 2011
  20. "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
  21. "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
  22. "On Löb algebras"
    Majid Alizadeh, محمد اردشیر
    MATHEMATICAL LOGIC QUARTERLY, Vol. 52, No 1, pp.95-105, 2006
  23. "On the linear Lindenbaum algebra of Basic Propositional Logic"
    Majid Alizadeh, Mohammad Ardeshir
    MATHEMATICAL LOGIC QUARTERLY, Vol. 50, No 1, pp.65-70, 2004
  24. "Formalization of Envy and Regret"
    Majid Alizadeh, فاطمه مشهدی راویز, لطف الله نبوی
    Logic research, Vol. 16, No 1, 2025
  25. "Formalizing of the intensity of certain counterfactual emotions in modal logic"
    Majid Alizadeh, فاطمه مشهدی راویز, لطف الله نبوی
    Computing Science Journal, Vol. 10, No 36, pp.3-15, 2025
  26. "Logical Formalization of Some Counterfactual Emotions"
    فاطمه مشهدی راویز, لطف الله نبوی, Majid Alizadeh
    Philosophical Thought, Vol. 05, No 2, 2025
  27. "what is Curry- Howard Correspondence?"
    Majid Alizadeh
    Computing Science Journal, Vol. 8, No 4, pp.78-86, 2024

Conference Paper

  1. "About the unification type of modal logic K5 and its extensions"
    Majid Alizadeh, Philippe Balbiani, Mohammad Ardeshir, Seyed Mojtaba Mojtahedi
    UNIF 2021 - 35th International Workshop on Unification, 2021
  2. "Generalized Heyting Algebras and Duality"
    Masoud Memarzadeh, Majid Alizadeh, Amir Hossein AKbar Tabatabayee
    BLAST 2021, 2021
  3. "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
  4. "Terminating Hypersequent calculus for LC"
    Narbeh Aboolian, Majid Alizadeh, Farzaneh Derakhshan
    workshop on modal logic and its application in Computer Science, 2016
  5. "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
  6. "Uniform interpolation in substructural predicate logics without contraction rule"
    Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono
    The Second Asian Workshop on Philosophical Logic, 2014
  7. "Uniform and Lyndon interpolations in commutative substructural logics"
    Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono
    Frontiers in Mathematical Sciences, 2013
  8. "Residuation on Visser Algebras"
    Majid Alizadeh
    Annual seminar on mathematical logics and its application, 2013
  9. "A new Glivenko Theorem"
    Majid Alizadeh, Wim Ruitenburg, Mohammad Ardeshir
    Topology, Algebra, and Categories in Logic 2013, 2013
  10. "Modal basic propositional logic"
    Majid Alizadeh, محمد اردشیر, Wim Ruitenburg
    Logic Algebra and Truth Degrees 2012, 2012
  11. "Completions of Basic algebras and Lob algebras"
    Majid Alizadeh, Hiroakira Ono
    Non-classical Modal and Predicate Logics(NCMPL2011), 2011
  12. "A Duality for Quasi Ordered Structures"
    Antonio Ledda, Hector Freytes, Majid Alizadeh
    Logic Algebra and Truth Degrees 2010, 2010
  13. "A DUALITY FOR QUASI ORDERED STRUCTURES (I)"
    Antonio Ledda, Hector Freytes, Majid Alizadeh
    Algebra and Substructural Logics-take four, 2010
  14. "Completion and amalgamation of bounded distributive quasi lattices"
    Hector Freytes, Antonio Ledda, Majid Alizadeh
    World Congress and School on Universal Logic III, 2010
  15. "Linear Temporal Public Announcement Logic: A new prespective for reasoning about the knowledge of multi-classifiers"
    امیر هوشنگ حسین پور دهکردی, Majid Alizadeh, علی موقر
    Eighth Annual Conference of the Iranian Association for Logic, 2021
  16. "A study of intuitionistic logics, ONNILLI"
    Ali Bibaak, Majid Alizadeh
    the 3rd annoual logic conference, 2015
  17. "Uniform interpolation for GD"
    Naarbeh Aboolean, Farzaneh Derakhshan, Majid Alizadeh
    the 3rd annual logic conference, 2015
  18. "Gentzen sequent calculus without contraction for basic propositional logic"
    Majid Alizadeh, Farzaneh Derakhshan, Mohammad Ardeshir
    Annual seminar on mathematical logics and its application, 2013
  19. "Uniform interpolation in basic logic"
    Majid Alizadeh, Farzaneh Derakhshan
    The first annual seminar of Iranian association for logic, 2013
  20. "Substructural logics and uniform interpolation"
    Majid Alizadeh
    The first annual seminar of Iranian association for logic, 2013