A Logical Calculus of Meaning and Synonymy · Study