Majid Alizadeh - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2023

Unification types in Euclidean modal logicsMajid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi. igpl, 31(3):422-440, May 2023. [doi]

2022

Lyndon's interpolation property for the logic of strict implicationNarbe Aboolian, Majid Alizadeh. igpl, 30(1):34-70, 2022. [doi]

2019

Basic propositional logic and the weak excluded middleMajid Alizadeh, Mohammad Ardeshir. igpl, 27(3):371-383, 2019. [doi]

2016

Boolean Algebras in Visser AlgebrasMajid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg. ndjfl, 57(1):141-150, 2016. [doi]

2015

Counting weak Heyting algebras on finite distributive latticesMajid Alizadeh, Nima Joharizadeh. igpl, 23(2):247-258, 2015. [doi]

2014

Uniform interpolation in Substructural LogicsMajid Alizadeh, Farzaneh Derakhshan, Hiroakira Ono. rsl, 7(3):455-483, 2014. [doi]

2013

A new Glivenko TheoremMajid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg. tacl 2014: 191-194 [doi]

2012

On Löb algebras, IIMajid Alizadeh, Mohammad Ardeshir. igpl, 20(1):27-44, 2012. [doi]

2011

Completion and amalgamation of bounded distributive quasi latticesMajid Alizadeh, Antonio Ledda, Hector Freytes. igpl, 19(1):110-120, 2011. [doi]

2009

Completions of Basic AlgebrasMajid Alizadeh. wollic 2009: 72-83 [doi]

2006

On Löb algebrasMajid Alizadeh, Mohammad Ardeshir. mlq, 52(1):95-105, 2006. [doi]

Amalgamation property for the class of basic algebras and some of its natural subclassesMajid Alizadeh, Mohammad Ardeshir. AML, 45(8):913-930, 2006. [doi]

2004

On the linear Lindenbaum algebra of Basic Propositional LogicMajid Alizadeh, Mohammad Ardeshir. mlq, 50(1):65-70, 2004. [doi]

Sign in or sign up to see more results.

runs on WebDSL