linear algebraic logic Synonyms