This paper presents the main assumptions of Andrzej Grzegorczyk’s last research project concerning the logic of synonymity. It shows that the basis of logic of analytic equivalence, presented in the first part of the work, fully corresponds with these assumptions.The project is supported by the Polish National Science Centre grant Logic and language experience 2011/03/B/HS1/04580
