The place of syllogistic in logical theory
(1980)
Book
Chapter 1 presents BS, a basic syllogistic system based on Aristotle's logic, in natural deduction form. Chapters 2 and 3 treat the metatheory of BS: consitency, soundness, independence, and completeness. (We show how Aristotle's attempt to show his... Read More about The place of syllogistic in logical theory.