Leśniewskian Ontology with Many-argument Predication - Paśniczek, Jacek (History and philosophy of logic, 2023)
Keywords: Boolean algebra; Leśniewski's Ontology; many-arguments predication; one-argument predication; second-order logic