O. Prosorov, “Formal Hermeneutics Based on Frege Duality”, SuB, vol. 9, pp. 286–298, Aug. 2019.