We stand with Ukraine  

Majid Alizadeh

Orcid: 0000-0003-2644-5959

According to our database1, Majid Alizadeh authored at least 19 papers between 2004 and 2025.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
On a Generalization of Heyting Algebras I.
[BibTeX]
[DOI]
Amirhossein Akbar Tabatabai
,
Majid Alizadeh
,
Masoud Memarzadeh
Stud Logica, June, 2025

Meet MASKS: integrating distributed knowledge and verification for multi-agent systems.
[BibTeX]
[DOI]
Majid Alizadeh
,
Amirhoshang Hoseinpour Dehkordi
,
Ali Movaghar
Soft Comput., April, 2025

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic.
[BibTeX]
[DOI]
Amirhossein Akbar Tabatabai
,
Majid Alizadeh
,
Alireza Mahmoudian
CoRR, February, 2025

2024
Remarks on uniform interpolation property.
[BibTeX]
[DOI]
Majid Alizadeh
Log. J. IGPL, 2024

2023
Unification types in Euclidean modal logics.
[BibTeX]
[DOI]
Majid Alizadeh
,
Mohammad Ardeshir
,
Philippe Balbiani
,
Mojtaba Mojtahedi
Log. J. IGPL, May, 2023

2022
Lyndon's interpolation property for the logic of strict implication.
[BibTeX]
[DOI]
Narbe Aboolian
,
Majid Alizadeh
Log. J. IGPL, 2022

2020
Linear Temporal Public Announcement Logic: a new perspective for reasoning the knowledge of multi-classifiers.
[BibTeX]
[DOI]
Amirhoshang Hoseinpour Dehkordi
,
Majid Alizadeh
,
Ali Movaghar
CoRR, 2020

MASKS: A Multi-Artificial Neural Networks System's verification approach.
[BibTeX]
[DOI]
Amirhoshang Hoseinpour Dehkordi
,
Majid Alizadeh
,
Ebrahim Ardeshir-Larijani
,
Ali Movaghar
CoRR, 2020

2019
Basic propositional logic and the weak excluded middle.
[BibTeX]
[DOI]
Majid Alizadeh
,
Mohammad Ardeshir
Log. J. IGPL, 2019

2016
Boolean Algebras in Visser Algebras.
[BibTeX]
[DOI]
Majid Alizadeh
,
Mohammad Ardeshir
,
Wim Ruitenburg
Notre Dame J. Formal Log., 2016

2015
Counting weak Heyting algebras on finite distributive lattices.
[BibTeX]
[DOI]
Majid Alizadeh
,
Nima Joharizadeh
Log. J. IGPL, 2015

2014
Uniform interpolation in Substructural Logics.
[BibTeX]
[DOI]
Majid Alizadeh
,
Farzaneh Derakhshan
,
Hiroakira Ono
Rev. Symb. Log., 2014

2013
A new Glivenko Theorem.
[BibTeX]
[DOI]
Majid Alizadeh
,
Mohammad Ardeshir
,
Wim Ruitenburg
Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012
On Löb algebras, II.
[BibTeX]
[DOI]
Majid Alizadeh
,
Mohammad Ardeshir
Log. J. IGPL, 2012

2011
Completion and amalgamation of bounded distributive quasi lattices.
[BibTeX]
[DOI]
Majid Alizadeh
,
Antonio Ledda
,
Hector Freytes
Log. J. IGPL, 2011

2009
Completions of Basic Algebras.
[BibTeX]
[DOI]
Majid Alizadeh
Proceedings of the Logic, 2009

2006
On Löb algebras.
[BibTeX]
[DOI]
Majid Alizadeh
,
Mohammad Ardeshir
Math. Log. Q., 2006

Amalgamation property for the class of basic algebras and some of its natural subclasses.
[BibTeX]
[DOI]
Majid Alizadeh
,
Mohammad Ardeshir
Arch. Math. Log., 2006

2004
On the linear Lindenbaum algebra of Basic Propositional Logic.
[BibTeX]
[DOI]
Majid Alizadeh
,
Mohammad Ardeshir
Math. Log. Q., 2004


  Loading...