You're using an ancient browser to surf the modern web. Please update to the latest version (and don't use Internet Explorer!).

Leonardi.DB
a logical geometry project

Verification of Validity of Logical Syllogisms Generated by Cube of Opposition Using Extended Peterson's Rules (2025)

↑ Back to top ↑