An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
-
Updated
Oct 23, 2025 - Scala
#
deduction-system
Here are 5 public repositories matching this topic...
A Parsing-as-Deduction system that parses with different parsing algorithms and some related tools for educational purposes.
java education tree parsing teaching computational-linguistics cfg earley-algorithm context-free-grammar earley cyk-parser topdown deductions teaching-tool earley-parser educational-software tree-adjoining-grammar deduction-system shiftreduce unger-parser
-
Updated
Aug 15, 2025 - Java
An algorithm for the popular social deduction game Avalon. In a game based on social deduction, visual cues, deception, and unpredictability, can a minions intent be revealed by careful objective analysis? Currently developing a neural network via Tensorflow. Input teams, player votes, and mission outcomes, and recieve a dynamic probability asse...
neural-network tensorflow social-network-analysis avalon not-the-repo-you-are-looking-for not-finished resistance-game supervised-machine-learning deduction-system resistance-game-solver
-
Updated
Jun 26, 2018 - Python
➡️Formal logic deduction based on system-L
-
Updated
Apr 27, 2020 - Python
Okami is a next generation solver for Datalog. It is based on specializating a Datalog's resolution technique to compile a program into a relational algebra abstract machine that is extremely efficient computing solutions for the database
-
Updated
Jul 25, 2017 - Python
Improve this page
Add a description, image, and links to the deduction-system topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the deduction-system topic, visit your repo's landing page and select "manage topics."