Burkhardt Renz

LWB Logic Workbench

The Logic Workbench (LWB) is a set of tools for playing with logic. It is written in Clojure and comprises tools for propositional logic, predicate (first order) logic, linear temporal logic, and combinatory logic.

LWB has a component for natural deduction in propositional, predicate and linear temporal logic, and furthermore a component for doing interactive combinatory logic.

LWB is a playground for logic and programming logic in Clojure.

There are a lot of examples in the Logic WorkBench!

More about LWB: Documentation ⇗ and Source Code ⇗ and Library on clojars ⇗.

It's quite convenient to use the logic workbench as a plugin in atom, see lwb-ui ⇗.