Majid Alizadeh

Available identifiers

zbMath Open alizadeh.majidMaRDI QIDQ246769

List of research outcomes

Publication	Date of Publication	Type
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
On Lob algebras, II	2012-08-01	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Majid Alizadeh