Paśniczek, J. (2004). Equating categorially names and quantifiers within first-order logic. Logic and Logical Philosophy, 10(10), 119–129. https://doi.org/10.12775/LLP.2002.007