truth-tree

There are 0 repository under truth-tree topic.

ixjf / logic-rs
A parser of relational predicate logic & truth tree solver, written in Rust.
logic rust parser formulas relational predicate first order first-order truth-tree consistency formal-validity validity contingency contradiction tautology pest wasm
Language:Rust 15
bediger4000 / tableaux-in-go
Prove propositional logic tautologies via Smullyan's tableaux method
tautology propositional-logic smullyan-tableaux truth-tree
Language:Go 4
joshuacrotts / formal-logic-aiding-tutor
This is an extension of LLAT (the Logic-Learning Assistance Tool) which aims to improve its pedagogical value and UI, rather than being a mere solution provider.
formal-logic cs-education logic natural-deduction truth-table truth-tree
Language:Java 3

ixjf / logic-rs