justineuro / syllogisms Star 1 Code Issues Pull requests Algorithmic Truth Table Method for Proving Validity of Argument Forms algorithm first-order-logic boolean validity truth-table categorical-syllogisms boolean-logic syllogism predicate-logic classical-logic aristotelian aristotelian-logic Updated Apr 8, 2025 TeX
HINNOTN / syllogisms Star 0 Code Issues Pull requests Algorithmic Truth Table Method for Proving Validity of Argument Forms python validation philosophy linguistics statement truth-table reasoning fallacies categorical-syllogisms syllogism rft aristotle llm aristotelian-logic Updated Dec 4, 2025 TeX