On Modeling of Generalized Syllogisms with Intermediate Quantifiers

Abstract

In our previous papers, we introduced a general principle in fuzzy natural logic in which the class of intermediate quantifiers can be introduced, and proved all of 105 generalized syllogisms. We also proposed generalized Peterson’s square of opposition with generalized definitions of contrary, contradictory, sub-contrary and subalterns. This approach is devoted to designing generalized Peterson’s rules which will be used for verification of the validity of generalized syllogisms with intermediate quantifiers based on its position inside in generalized Peterson’s square of opposition.