Leśniewski's ontology -- proof-theoretic characterization
scientific article; zbMATH DE number 7628208
scientific article