Cylindric Algebra Equation Solver

The Cylindric Algebra Equation Solver (CAES) is a set of about 200 Schemata definitions specifying the properties of the symbols, for solving equations in the cylindric algebra [Henkin et al.] of 25(2~N) elements with a function which maps 1 to 1 and everything else to 0. The following are some representative definitions expressed in the symbology of modal quantificational logic [Carnap, Bressan, Brown87]: (falsity: F, truth: T, and: ^, or: v, for all: V, for some: 3, not: -~, necessary: [], and synonymous: =-), ra ther than with algebraic symbols: (zero: 0, one: 1, multiplication: *, inclusive addition: +, products: ~, summation: sigma, minus: -, the function which maps 1 to 1 and all other elements to 0, and equality of elements of the cylindric algebra: =):