M. Alizadeh

Available identifiers

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

This page was built for person: M. Alizadeh