Downloads

---

Requirements

The documents made available here will be in either PostScript format, or in Adobe's more recent PDF. A reader for PDF is available for most operating systems free from Adobe's web site.

Much of the source code that I develop for analysing the logical structure of the Yi is written in Prolog. A good, free Prolog system is available for a number of platforms from the SWI research group. Check out their web site for the latest version.

If your borwser has difficulty downloading these files, then try right clicking on the link and selecting "Save link as..." or a similar option.

Documents

The original text of the bulk of the Boolean Algebra thread is available as a PDF file. This material was originally published as [Sch98].

The material on Correctness and Correspondence is available as a separate PDF file. This material was originally published as [Sch99].

Programs

There is a collection of Prolog source files that implement many of logical relationships discussed in these pages available here.

---