Analytic Tableau Proof Assistant (ANITA) is a tool for teaching Analytic Tableaux
-
Updated
Oct 30, 2023 - Python
#
analytic-tableaux
Here are 8 public repositories matching this topic...
Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions
proof
logic
first-order-logic
model-checking
propositional-logic
model-checker
model-extraction
modal-logic
theorem-prover
intuitionistic-logic
predicate-logic
classical-logic
analytic-tableaux
model-generation
-
Updated
Oct 30, 2024 - Python
Analytic tableau proof editor for Tarski's World
-
Updated
Jan 16, 2021 - JavaScript
Logic for Computer Science course projects
-
Updated
Dec 13, 2019 - OCaml
Proof assistant created in the Plugin Oriented Programming paradigm
-
Updated
Feb 16, 2023 - Python
Modeled the proof systems of Analytic-Tableaux, First-Order-Resolution, ROBDD etc. in Ocaml to efficiently solve the SAT problem
first-order-logic
sat-solver
propositional-logic
natural-deduction
robdd
hilbert-axioms
resolution-proof
proof-system
analytic-tableaux
-
Updated
Jan 26, 2021 - OCaml
Improve this page
Add a description, image, and links to the analytic-tableaux topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the analytic-tableaux topic, visit your repo's landing page and select "manage topics."