ixjf / logic-rs Star 15 Code Issues Pull requests A parser of relational predicate logic & truth tree solver, written in Rust. rust parser consistency logic wasm order first validity pest relational tautology predicate formulas contingency truth-tree first-order formal-validity contradiction Updated May 1, 2019 Rust
savvybit / TrueStory Star 2 Code Issues Pull requests Be your own journalist! nlp api news python3 startup manipulation bias contradiction Updated Oct 3, 2021 Python
principle-of-contradiction / principle-of-contradiction.github.io Star 1 Code Issues Pull requests How do we know… anything? physics philosophy metaphysics contradiction Updated Aug 20, 2021
raulpy271 / ValidationMethods Star 1 Code Issues Pull requests 🧮 validation methods of propositional logic formula haskell tree functional-programming proof algebraic-data-types tautology propositional-calculus contradiction Updated Aug 23, 2020 Haskell
HariShanmugavelu / NaturalLanguageProcessing-_AutomaticTicketAssignment Star 0 Code Issues Pull requests Applying NLP models and traditional machine learning models for Automatic Ticket assignment exploratory-data-analysis recurrent-neural-networks wordcloud feature-engineering fuzzywuzzy lstm-neural-networks stemming lemmatization bidirectional-lstm supervised-learning-algorithms nltk-python contradiction Updated Apr 4, 2021 Jupyter Notebook