Majid Alizadeh

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 6

Top Topics

Distributive Lattices

Dempster Shafer

Top Venues

Rev. Symb. Log.

Notre Dame J. Formal Log.

Publications

Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi
Unification types in Euclidean modal logics. Log. J. IGPL 31 (3) (2023)
Narbe Aboolian, Majid Alizadeh
Lyndon's interpolation property for the logic of strict implication. Log. J. IGPL 30 (1) (2022)
Amirhoshang Hoseinpour Dehkordi, Majid Alizadeh, Ebrahim Ardeshir-Larijani, Ali Movaghar
MASKS: A Multi-Artificial Neural Networks System's verification approach. CoRR (2020)
Amirhoshang Hoseinpour Dehkordi, Majid Alizadeh, Ali Movaghar
Linear Temporal Public Announcement Logic: a new perspective for reasoning the knowledge of multi-classifiers. CoRR (2020)
Majid Alizadeh, Mohammad Ardeshir
Basic propositional logic and the weak excluded middle. Log. J. IGPL 27 (3) (2019)
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
Boolean Algebras in Visser Algebras. Notre Dame J. Formal Log. 57 (1) (2016)
Majid Alizadeh, Nima Joharizadeh
Counting weak Heyting algebras on finite distributive lattices. Log. J. IGPL 23 (2) (2015)
Majid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono
Uniform interpolation in Substructural Logics. Rev. Symb. Log. 7 (3) (2014)
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
A new Glivenko Theorem. TACL (2013)
Majid Alizadeh, Mohammad Ardeshir
On Löb algebras, II. Log. J. IGPL 20 (1) (2012)
Majid Alizadeh, Antonio Ledda, Hector Freytes
Completion and amalgamation of bounded distributive quasi lattices. Log. J. IGPL 19 (1) (2011)
Majid Alizadeh
Completions of Basic Algebras. WoLLIC (2009)
Majid Alizadeh, Mohammad Ardeshir
On Löb algebras. Math. Log. Q. 52 (1) (2006)
Majid Alizadeh, Mohammad Ardeshir
Amalgamation property for the class of basic algebras and some of its natural subclasses. Arch. Math. Log. 45 (8) (2006)
Majid Alizadeh, Mohammad Ardeshir
On the linear Lindenbaum algebra of Basic Propositional Logic. Math. Log. Q. 50 (1) (2004)