Next: Interoperability, Previous: Submission, Up: Top [Contents]

Sequence Logic, often abbreviated ’seqlog’, is an alternative arithmetical representation system from the standard Peano Axioms in First-Order Logic. Seqlog’s original purpose was allowing more natural definition of recursive functions in FOL.

Seqlog uses the symbols ’s’ (the sucessor function), ’z’ (the zero function), ’v’ (the value function), and ’\0’ (null object).

• Axioms: | The axioms used by seqlog. | |

• Induction: | An overview of the induction scheme. |