The following pages link to Majid Alizadeh (Q246769):
Displaying 15 items.
- Amalgamation property for the class of basic algebras and some of its natural subclasses (Q862346) (← links)
- Residuated expansions of lattice-ordered structures (Q2658277) (← links)
- Linear temporal public announcement logic: a new perspective for reasoning about the knowledge of multi-classifiers (Q2689320) (← links)
- On Lob algebras, II (Q2903749) (← links)
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884) (← links)
- Completion and amalgamation of bounded distributive quasi lattices (Q3081244) (← links)
- On Löb algebras (Q3376543) (← links)
- Completions of Basic Algebras (Q3638276) (← links)
- On the linear Lindenbaum algebra of Basic Propositional Logic (Q4458702) (← links)
- Counting weak Heyting algebras on finite distributive lattices (Q4644513) (← links)
- Lyndon’s interpolation property for the logic of strict implication (Q5066799) (← links)
- Remarks on Stable Formulas in Intuitionistic Logic (Q5215503) (← links)
- Basic propositional logic and the weak excluded middle (Q5382587) (← links)
- Boolean algebras in Visser algebras (Q5963204) (← links)
- Unification types in Euclidean modal logics (Q6111080) (← links)
