A LaTeX package for drawing logical tableaux.
-
Updated
Oct 29, 2024 - TeX
#
tableaux
Here are 10 public repositories matching this topic...
Implementação do Tableux para Lógica Clássica de Primeira Ordem
-
Updated
Jul 20, 2017 - Python
Solver using method of analytic tableaux of ALC logic in Prolog.
-
Updated
Dec 13, 2021 - Prolog
A simple tool to represent predicate logic and assess formulas using tableaux method
-
Updated
Oct 12, 2018 - Python
First-Order Logic Automated Theorem Prover using Tableaux Method
-
Updated
Mar 18, 2021 - Clojure
Improve this page
Add a description, image, and links to the tableaux topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the tableaux topic, visit your repo's landing page and select "manage topics."