Code for playing with Aristotelian syllogistic logic.
The main intent behind this project was to test whether all syllogisms reduce by contradiction.
Released to the public domain.
This repository has been archived by the owner on Mar 23, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 1
avbop/syllogisms
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Code for playing with Aristotelian syllogistic logic.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published