Łyczak, M.; Pietruszczak, A. On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories. B Sect Log 2018, 47, 233–263.