Completeness of two logical systems of Leibniz

This work is a contribution to a new view of Leibniz's logic, pretending to show that his writings were not only rich in projects (Characteristica, Combinatoria, Mathesis), but also in concrete logico-mathematical developments. We prove that his "Numerical Characteristic", assigning pairs of numbers to terms of categorical propositions, is a complete and correct semantics for aristotelian syllogistic, and the algebraic system presented in Fundamentals of Logical Calculus is essentially a complete version of boolean algebraic logic.