Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations. - Paul E. Oppenheimer; Edward N. Zalta (J. Log. Comput., 2011)

Automating Leibniz's Theory of Concepts. - Jesse Alama; Paul E. Oppenheimer; Edward N. Zalta (CADE, 2015)

Standpoint semantics for polysemy in spatial prepositions. - Edilson Rodrigues; Paulo E. Santos; Marcos Lopes; Brandon Bennett; Paul E. Oppenheimer (J. Log. Comput., 2020)