Automating Leibniz's Theory of Concepts.

Jesse Alama, Paul E. Oppenheimer, Edward N. Zalta

Browse the full CADE paper archive.