A syllogistic system for propositions with intermediate quantifiers

Pasquale Iero, Allan Third, Paul Piwek

This paper describes a formalism that subsumes Peterson's intermediate quantifier syllogistic system, and extends the ideas by van Eijck on Aristotle's logic. Syllogisms are expres…