Now showing items 1-1 of 1
On the Definability of Leśniewski’s Copula ‘is’ in Some Ontology-Like Theories
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)
We formulate a certain subtheory of Ishimoto’s  quantifier-free fragment of Leśniewski’s ontology, and show that Ishimoto’s theory can be reconstructed in it. Using an epimorphism theorem we prove that our theory is ...