GNU Aris Manual: Sequence Logic

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

## 9 Sequence Logic

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).