This work analyses four formulations of syllogistic with negative terms. The first one is a well-known formulation of the system given by Anders Wedberg. The second formulation is a simplification of the axiomatics of Wedberg’s system given by Bogusław Iwanuś. The author of the third formulation is Albert Menne. In the article, a simplification of the axiomatics of Menne’s system is proposed. It is here regarded as the fourth formulation of syllogistic with negative terms. Logical connections between these constructions are examined.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.