(Colorado State University. Libraries, 1991) Johnson, Fred (Frederick A.), author; Ossolineum and Kluwer Academic Publishers, publisher
The paper shows that for any invalid polysyllogism there is a procedure for constructing a model with a domain with exactly three members and an interpretation that assigns non-empty, non-universal subsets of the domain to terms such that the model invalidates the polysyllogism.
