Aristotelian syllogisms

Aristotelian assertive syllogistic logic (without modalities) is embedded in the author’s Lingua Cosmica. The well-known basic structures of assertions and conversions between them in this logic are represented in LINCOS. Since these representations correspond with set-theoretic operations, the latter are embedded in LINCOS as well. Based on this valid argumentation in Aristotle’s sense is obtained for four important so-called perfect figures. Their constructive (intuitionistic) verifications are of a surprisingly elegant simplicity.