The Logic of Leibniz's Generales Inquisitiones de Analysi Notionum et Veritatum. - Marko Malink; Anubav Vasudevan (Rev. Symb. Log., 2016)

The Peripatetic Program in Categorical Logic: Leibniz on Propositional Terms. - Marko Malink; Anubav Vasudevan (Rev. Symb. Log., 2020)