Majid Alizadeh Mohammad Ardeshir On the linear Lindenbaum algebra of Basic Propositional Logic. 65-70 2004 50 Math. Log. Q. 1 http://dx.doi.org/10.1002/malq.200310077 db/journals/mlq/mlq50.html#AlizadehA04