Majid Alizadeh
Majid Alizadeh
associate professor of computer science, university of Tehran
Verified email at ut.ac.ir
Title
Cited by
Cited by
Year
Understanding epidemic data and statistics: A case study of COVID‐19
A Hoseinpour Dehkordi, M Alizadeh, P Derakhshan, P Babazadeh, ...
Journal of medical virology 92 (7), 868-882, 2020
732020
On the diameter and girth of zero-divisor graphs of posets
M Alizadeh, AK Das, HR Maimani, MR Pournaki, S Yassemi
Discrete Applied Mathematics 160 (9), 1319-1324, 2012
242012
On the linear Lindenbaum algebra of basic propositional logic
M Alizadeh, M Ardeshir
Mathematical Logic Quarterly: Mathematical Logic Quarterly 50 (1), 65-70, 2004
132004
An ideal theoretic approach to complete partite zero-divisor graphs of posets
M Alizadeh, HR Maimani, MR Pournaki, S Yassemi
Journal of Algebra and its Applications 12 (02), 1250148, 2013
122013
Amalgamation property for the class of basic algebras and some of its natural subclasses
M Alizadeh, M Ardeshir
Archive for mathematical logic 45 (8), 913-930, 2006
122006
On Löb algebras
M Alizadeh, M Ardeshir
Mathematical Logic Quarterly 52 (1), 95-105, 2006
72006
On Löb algebras, II
M Alizadeh, M Ardeshir
Logic Journal of the IGPL 20 (1), 27-44, 2012
62012
Boolean algebras in Visser algebras
M Alizadeh, M Ardeshir, W Ruitenburg
Notre Dame Journal of Formal Logic 57 (1), 141-150, 2016
52016
Uniform interpolation in substructural logics
M Alizadeh, F Derakhshan, H Ono
The Review of Symbolic Logic 7 (3), 455-483, 2014
52014
Completion and amalgamation of bounded distributive quasi lattices
M Alizadeh, A Ledda, H Freytes
Logic Journal of the IGPL 19 (1), 110-120, 2011
52011
Completions of basic algebras
M Alizadeh
International Workshop on Logic, Language, Information, and Computation, 72-83, 2009
22009
Basic propositional logic and the weak excluded middle
M Alizadeh, M Ardeshir
Logic Journal of the IGPL 27 (3), 371-383, 2019
12019
Counting weak Heyting algebras on finite distributive lattices
M Alizadeh, N Joharizadeh
Logic Journal of the IGPL 23 (2), 247-258, 2015
12015
About the unification type of modal logic K5 and its extensions
M Alizadeh, M Ardeshir, P Balbiani, M Mojtahedi
2021
Residuated Expansions of Lattice-Ordered Structures
M Alizadeh, H Ono
Mathematics, Logic, and Their Philosophies: Essays in Honour of Mohammad …, 2021
2021
Linear Temporal Public Announcement Logic: a new perspective for reasoning the knowledge of multi-classifiers
A Hoseinpour Dehkordi, M Alizadeh, A Movaghar
TechRxiv, 2020
2020
Linear Temporal Public Announcement Logic: a new perspective for reasoning the knowledge of multi-classifiers
AH Dehkordi, M Alizadeh, A Movaghar
arXiv preprint arXiv:2009.03793, 2020
2020
Lyndon’s interpolation property for the logic of strict implication
N Aboolian, M Alizadeh
Logic Journal of the IGPL, 2020
2020
MASKS: A Multi-Artificial Neural Networks System's verification approach
A Hoseinpour Dehkordi, M Alizadeh, E Ardeshir-Larijani, A Movaghar
TechRxiv, 2020
2020
MASKS: A Multi-Classifier's verification approach
AH Dehkordi, M Alizadeh, E Ardeshir-Larijani, A Movaghar
arXiv preprint arXiv:2007.10090, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20