The Ratiocinator for ConTeXt MkIV provides a couple of tool for typesetting, evaluating and visualizing propositional logic using a minimalist ascii input notation.


All intended functionality implemented (needs testing); no documentation yet. No module structure, interface XML etc. yet. This will all be added in good time.


For the syntax trees to work you will need to have either luagraph or graphviz installed on your system.

Provisional documentation

Until an official manual is written, please refer to the examples and the source documentation.


The Ratiocinator was written and conceived by Philipp Gesang (megas.kapaneus at gmail dot com). Its home is a Mercurial repository at BitBucket:

hg clone https://phg@bitbucket.org/phg/context-ratiocinator


The Ratiocinator is licensed under the terms of the BSD license with two clauses. See the file COPYING for details.