nlp machine-learning logistic-regression educational-software syllogism syllogistic-logic educational-nl
-
Updated
Aug 14, 2025 - Python
🎊 Repo for code related to a syllogistic logic of 'all', 'at least', and 'more than'. Includes code for model construction and use of prover9 to explore the proof rules of the system.
Add a description, image, and links to the syllogistic-logic topic page so that developers can more easily learn about it.
To associate your repository with the syllogistic-logic topic, visit your repo's landing page and select "manage topics."