menu
Majid Alizadeh

Associate Professor

Update: 2025-03-07

Majid Alizadeh

College of Science / Faculty of Mathematics, Statistics and Computer Science

Journal Paper

  1. "On a Generalization of Heyting Algebras I"
    Amirhossein Akbar Tabatabai, Majid Alizadeh, Masoud Memarzadeh
    Studia Logica, Vol. 113, 2024
  2. "Remarks on uniform interpolation property"
    Majid Alizadeh
    LOGIC JOURNAL OF THE IGPL, Vol. 32, No 5, pp.810-814, 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, Mohamad Ardeshir, phlippe Balbiani, Seyed Mojtaba Mojtahedi
    Logic Journal of the IGPL, Vol. 31, No 3, pp.422-440, 2022
  6. "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
  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. 92, No 7, 2020
  8. "REMARKS ON STABLE FORMULAS IN INTUITIONISTIC LOGIC"
    Majid Alizadeh, Ali Bibaak
    Logic and Logical Philosophy, Vol. 28, No 2, 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. "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
  15. "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
  16. "On Lob algebras II"
    Majid Alizadeh, Mohammad Ardeshir
    Logic Journal of the IGPL, Vol. 20, No 1, pp.27-44, 2011
  17. "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
  18. "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
  19. "On Löb algebras"
    Majid Alizadeh, محمد اردشیر
    MATHEMATICAL LOGIC QUARTERLY, Vol. 52, No 1, pp.95-105, 2006
  20. "On the linear Lindenbaum algebra of Basic Propositional Logic"
    Majid Alizadeh, Mohammad Ardeshir
    MATHEMATICAL LOGIC QUARTERLY, Vol. 50, No 1, pp.65-70, 2004
  21. "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. "Substructural logics and uniform interpolation"
    Majid Alizadeh
    The first annual seminar of Iranian association for logic, 2013
  20. "Uniform interpolation in basic logic"
    Majid Alizadeh, Farzaneh Derakhshan
    The first annual seminar of Iranian association for logic, 2013