M. Alizadeh

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On a generalization of Heyting algebras. I Studia Logica	2025-07-28	Paper
Remarks on uniform interpolation property Logic Journal of the IGPL	2024-11-15	Paper
Interpolation Property on Visser's Formal Propositional Logic Bulletin of the Section of Logic	2024-02-29	Paper
Unification types in Euclidean modal logics Logic Journal of the IGPL	2023-07-06	Paper
Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers Bulletin of the Iranian Mathematical Society	2023-03-10	Paper
Lyndon's interpolation property for the logic of strict implication Logic Journal of the IGPL	2022-03-30	Paper
Residuated expansions of lattice-ordered structures	2021-03-19	Paper
Remarks on Stable Formulas in Intuitionistic Logic Logic and Logical Philosophy	2020-02-11	Paper
Basic propositional logic and the weak excluded middle Logic Journal of the IGPL	2019-06-18	Paper
Counting weak Heyting algebras on finite distributive lattices Logic Journal of the IGPL	2019-01-08	Paper
Boolean algebras in Visser algebras Notre Dame Journal of Formal Logic	2016-03-04	Paper
Uniform interpolation in substructural logics The Review of Symbolic Logic	2015-01-21	Paper
Complement of special chordal graphs and vertex decomposability Bulletin of the Iranian Mathematical Society	2014-10-08	Paper
On Löb algebras. II Logic Journal of the IGPL	2012-08-01	Paper
On the diameter and girth of zero-divisor graphs of posets Discrete Applied Mathematics	2012-05-30	Paper
Completion and amalgamation of bounded distributive quasi lattices Logic Journal of the IGPL	2011-03-07	Paper
$M$-Shellability of Discrete Polymatroids	2010-12-05	Paper
Completions of Basic Algebras Logic, Language, Information and Computation	2009-07-02	Paper
Amalgamation property for the class of basic algebras and some of its natural subclasses Archive for Mathematical Logic	2007-01-24	Paper
On Löb algebras MLQ	2006-03-24	Paper
On the linear Lindenbaum algebra of Basic Propositional Logic Mathematical Logic Quarterly	2004-03-15	Paper

Research outcomes over time

This page was built for person: M. Alizadeh