Intermediate quantifiers, Peterson's rules, Validity of logical syllogisms

The most reliable method how validity of a logical syllogism can be verified is to formalize it and show that there is either a formal proof or it is true in any model. A specific method for proving validity is to use special rules that have been used by logicians. However, we cannot be sure that they indeed verify the validity of syllogisms. The goal of this paper is to show that the rules indeed work. In his book, Peterson studied syllogisms with intermediate quantifiers and suggested extension of the rules also to them. In this paper, we formalize them and prove that a logical syllogism of Figure~I with intermediate quantifiers is valid iff it satisfies four extended Peterson’s rules.