On the linear Lindenbaum algebra of Basic Propositional Logic