A propositional fragment of Leśniewski's ontology and its formulation by the tableau method
embedding in first-order predicate logic
scientific article; zbMATH DE number 3961583