M. Alizadeh

zbMath Openalizadeh.majidMaRDI QIDQ246769

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
Remarks on uniform interpolation property	2024-11-15	Paper
Interpolation Property on Visser's Formal Propositional Logic	2024-02-29	Paper
Unification types in Euclidean modal logics	2023-07-06	Paper
Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers	2023-03-10	Paper
Lyndon's interpolation property for the logic of strict implication	2022-03-30	Paper
Residuated expansions of lattice-ordered structures	2021-03-19	Paper
Remarks on Stable Formulas in Intuitionistic Logic	2020-02-11	Paper
Basic propositional logic and the weak excluded middle	2019-06-18	Paper
Counting weak Heyting algebras on finite distributive lattices	2019-01-08	Paper
Boolean algebras in Visser algebras	2016-03-04	Paper
Uniform interpolation in substructural logics	2015-01-21	Paper
Complement of special chordal graphs and vertex decomposability	2014-10-08	Paper
On Löb algebras. II	2012-08-01	Paper
On the diameter and girth of zero-divisor graphs of posets	2012-05-30	Paper
Completion and amalgamation of bounded distributive quasi lattices	2011-03-07	Paper
$M$-Shellability of Discrete Polymatroids	2010-12-05	Paper
Completions of Basic Algebras	2009-07-02	Paper
Amalgamation property for the class of basic algebras and some of its natural subclasses	2007-01-24	Paper
On Löb algebras	2006-03-24	Paper
On the linear Lindenbaum algebra of Basic Propositional Logic	2004-03-15	Paper

Research outcomes over time

This page was built for person: M. Alizadeh