1. Blocks and sizes
2. Comparing sizes
3. The predicate LeftOf
4. The predicate Between
5. The predicates SameCol and SameRow
6. Equality axioms

Disclaimer: This program was written by Dr. Robert F. Stärk and is available here with his permission. It was inspired by a similar and more sophisticated commercial program called Tarski's World published by CSLI at Stanford University. The Block World available from this page is not the product of CSLI. Dr. Stärk is not affiliated with CSLI.

syntax | examples | info | home

Last modified: 27-May-2007 / staerk@inf.ethz.ch