menu
Majid Alizadeh

Associate Professor

Update: 2024-12-04

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. ---------------------------, 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. "what is Curry- Howard Correspondence?"
    Majid Alizadeh
    Computing Science Journal, Vol. 8, No 4, pp.78-86, 2024

Conference Paper

  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. "Logic of Dynamic locales"
    Alireza Mahmoudian, امیر حسین اکبر طباطبایی, Majid Alizadeh
    Mathematical logic and its applications, 2024
  16. "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
  17. "Cut-free Sequent Calculus For F"
    Majid Alizadeh, Narbeh Aboolian
    5th logic conference, 2017
  18. "A study of intuitionistic logics, ONNILLI"
    Ali Bibaak, Majid Alizadeh
    the 3rd annoual logic conference, 2015
  19. "Uniform interpolation for GD"
    Naarbeh Aboolean, Farzaneh Derakhshan, Majid Alizadeh
    the 3rd annual logic conference, 2015
  20. "Gentzen sequent calculus without contraction for basic propositional logic"
    Majid Alizadeh, Farzaneh Derakhshan, Mohammad Ardeshir
    Annual seminar on mathematical logics and its application, 2013
  21. "Uniform interpolation in basic logic"
    Majid Alizadeh, Farzaneh Derakhshan
    The first annual seminar of Iranian association for logic, 2013
  22. "Substructural logics and uniform interpolation"
    Majid Alizadeh
    The first annual seminar of Iranian association for logic, 2013